1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
module M0 { class C { method Foo() requires true; { } } } module M1 refines M0 { class C { method Foo... { assert false; } } }