>>372
ということは、コンパイラと、エラーにする・しないの会話が出来ないとしたら、
それってやっぱり高級なマクロでは…。

>>373
ちゃんと読んでないけど、これってただのDbCの記法とは違うの？
機能としては実行時評価のassertionが出来るまでじゃない？
これはこれで悪くなさそうだけど、コンパイル時チェックによる静的な保証が得られる訳じゃ無いのでは？