>>30
前に話していたのは
interface A｛
int f(int i) in｛assert(i>0);｝
out(r)｛assert(r>0);｝
｝
みたいに非final/非staticなメソッドじゃなかったか？
何で普通のメソッドが含まれていないんだ・・・