25a98964b5 ^
257a1845d3 ^
1 2 3 4 5 6 7
8
9
abstract class C() { type t; def copy(x: t): t = x; } class D() extends C() { type t = Int; Console.println(copy(1)); }