Rustの標準ライブラリにはunsafe関数に関する多くの事前条件チェックが実装されているが、標準ライブラリは通常リリースモードで配布されるので、ほとんどの開発者はこのチェックを全く実行できていなかった。

このアサーションをコード生成まで遅延させることで、ユーザー自身のデバッグ設定に基づいて実行できるようになった

例えば、slice::from_raw_parts は非ヌルでアライメントされたポインタを要求する。アライメントされていないポインタはUBをもたらし偶然不幸にも「動作してしまう」かもしれない