>>645
>継承したclassがassertionで宣言されていない性質を利用できないような仕組みがないと
>結局white boxになるのでは？
そういう仕組みがある言語もある。