21b147f7ca ^
1 2 3 4 5 6 7 8 9
trait C { type t; def copy(x: t): t = x; } class D() extends C { type t = Int; System.out.println(copy(1)); }