9ef5f6817 ^
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)); }