summaryrefslogtreecommitdiff
path: root/test/files/neg/t0513.check
blob: edc0c9ab67c31b78e171a41c25ee2a18d016e73a (plain) (blame)
1
2
3
4
5
6
7
t0513.scala:5: error: type arguments [Nothing,Int] do not conform to class Y's type parameter bounds [T1,T2 <: T1]
    val test2 = Test[Y[Nothing, Int]]  // No error
        ^
t0513.scala:5: error: type arguments [Nothing,Int] do not conform to class Y's type parameter bounds [T1,T2 <: T1]
    val test2 = Test[Y[Nothing, Int]]  // No error
                    ^
two errors found