blob: a2fbcf11f593d133e478137eb1efe010bee2152b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
// See pos/t1569a.scala for related examples that work.
object Bug {
class C { type T }
def foo(x: Int)(y: C)(z: y.T): Unit = {}
foo(3)(new C { type T = String })("hello")
}
object Bug2 {
class C { type T }
class D extends C { type T = String }
def foo(x: Int)(y: C)(z: y.T): Unit = {}
foo(3)(new D {})("hello")
}
|