diff options
Diffstat (limited to 'tests/neg/subtyping.scala')
| -rw-r--r-- | tests/neg/subtyping.scala | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tests/neg/subtyping.scala b/tests/neg/subtyping.scala index 03ff39be4..ff3c7a519 100644 --- a/tests/neg/subtyping.scala +++ b/tests/neg/subtyping.scala @@ -5,10 +5,10 @@ class A extends B object Test { def test1(): Unit = { - implicitly[B#X <:< A#X] // error - } + implicitly[B#X <:< A#X] // error: no implicit argument + } // error: no implicit argument def test2(): Unit = { - val a : { type T; type U } = ??? // error // error - implicitly[a.T <:< a.U] // error + val a : { type T; type U } = ??? // error // error + implicitly[a.T <:< a.U] // error: no implicit argument } } |