diff options
| author | vsalvis <salvisbergvera@gmail.com> | 2015-07-10 17:01:35 +0200 |
|---|---|---|
| committer | VladimirNik <vladimir.nikolaev9@gmail.com> | 2016-02-18 17:54:45 +0100 |
| commit | 1ed38673d4c88d573363459d316fdfe275d05025 (patch) | |
| tree | 6ae87391dab765853b97c81dfa4f05bbba2e527b /tests/neg/i0091-infpaths.scala | |
| parent | 4be70a5a8469c1355c84bef70936a81f899a9678 (diff) | |
| download | dotty-1ed38673d4c88d573363459d316fdfe275d05025.tar.gz dotty-1ed38673d4c88d573363459d316fdfe275d05025.tar.bz2 dotty-1ed38673d4c88d573363459d316fdfe275d05025.zip | |
Negtests with // error comments
Diffstat (limited to 'tests/neg/i0091-infpaths.scala')
| -rw-r--r-- | tests/neg/i0091-infpaths.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tests/neg/i0091-infpaths.scala b/tests/neg/i0091-infpaths.scala index 917ea49a2..e3b15933e 100644 --- a/tests/neg/i0091-infpaths.scala +++ b/tests/neg/i0091-infpaths.scala @@ -2,7 +2,7 @@ object infpaths { object a { trait T { t => - type M <: t.b.M + type M <: t.b.M // error type T <: a.T val b: t.T } @@ -10,7 +10,7 @@ object infpaths { } val m1: a.x.M = ??? - val m2: a.x.b.M = m1 - val m3: a.x.b.b.M = m2 + val m2: a.x.b.M = m1 // error + val m3: a.x.b.b.M = m2 // error } |