9ef5f6817 ^
1 2 3 4 5
object Bug { class C { type T } def foo(x: Int)(y: C)(z: y.T): Unit = {} foo(3)(new C { type T = String })("hello") }