blob: 2e887d181e1447ccdf53c33d4df653b993065fd9 (
plain) (
tree)
|
|
object Test {
class C { type T }
def f(x: C, y: x.T): x.T = y // ok
val c = new C { type T = String }
val c2 = c
f(c, "abc")
f(new C{ type T = String}, "abc")
val d: (C{ type T = String}) # T = "abc"
}
|