>>623
テストを容易にするための機能であって、アサートじゃないのでは？

あと、勝手にアサートしてくれるコンパイラがあるということは、
コンパイラがプログラムの文脈を理解するということで、
大部分のプログラマが必要なくなる一歩手前なような気がする。
俺はとても困ります。