-Ounchecked の precondition も同じですが、最適化でチェックが消えるのは、本来落としたいけど結果的に落ちなくなるだけなので、復活させたいなら Optional か Error で対処するのがいいと思います。