diff options
Diffstat (limited to 'tests/untried/neg/t0513.check')
| -rw-r--r-- | tests/untried/neg/t0513.check | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/untried/neg/t0513.check b/tests/untried/neg/t0513.check new file mode 100644 index 000000000..edc0c9ab6 --- /dev/null +++ b/tests/untried/neg/t0513.check @@ -0,0 +1,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 |