1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
// RUN: %dafny /compile:0 /print:"%t.print" /dprint:"%t.dprint" "%s" > "%t" // RUN: %diff "%s.expect" "%t" module M1 { trait T1 { method M1 (a:int) } class C1 extends T1 { method M1 (x:int) { var y: int := x; } } } module M2 { class C2 extends T1 { } }