blob: b21404726b456ee282f0c402697192d9fd2085da (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
// crash verified; no solution yet
class Foo(x: Int)
class Bar extends Foo(1)
trait A {
def foo[T <: Foo]
}
class B extends A {
def foo[Bar] { println("B.foo[Bar]") }
}
object test {
val x = new B
val y = new A {
def foo[Bar] { println("A.foo[Bar]") }
}
def main(args: Array[String]) {
x.foo // ok
y.foo // java.lang.AssertionError: assertion failed (Erasure.scala:441 in r18338))
}
}
|