blob: 3df08dcfe6da352f77df44765a0a914e8f5fad2f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
class M[_]
trait T {
def foo(m: M[_ >: String]) = 42
}
object Test {
def t: T = new T {
def foo(m: M[_ >: Any]) = 0 // Expected: "same type after erasure"
}
def main(args: Array[String]): Unit = {
val m: M[String] = null
t.foo(m) // VeriyError: Duplicate method name&signature
}
}
|
