diff options
| author | VladimirNik <vladimir.nikolaev9@gmail.com> | 2016-02-18 18:10:35 +0100 |
|---|---|---|
| committer | VladimirNik <vladimir.nikolaev9@gmail.com> | 2016-02-18 18:11:46 +0100 |
| commit | 955b04a41ccefeac6bfec0158991c152165be6eb (patch) | |
| tree | 1aa3649b0997b865c9dd4c2aa02bb4a9a6e37efb /tests/neg/subtyping.scala | |
| parent | 5fc321ffaa0a0b6b997c0fdecf1a86590474d812 (diff) | |
| download | dotty-955b04a41ccefeac6bfec0158991c152165be6eb.tar.gz dotty-955b04a41ccefeac6bfec0158991c152165be6eb.tar.bz2 dotty-955b04a41ccefeac6bfec0158991c152165be6eb.zip | |
Adapt neg tests to new neg tests checks
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 } } |