diff options
| author | VladimirNik <vladimir.nikolaev9@gmail.com> | 2016-02-22 14:50:35 +0100 |
|---|---|---|
| committer | VladimirNik <vladimir.nikolaev9@gmail.com> | 2016-03-03 14:06:28 +0100 |
| commit | 447256c89148e07dfddcfc065bd5f0946b0ae9aa (patch) | |
| tree | fed57dba62faa52d87803c8acfb2db36cd5f8207 /tests/neg/t7278.scala | |
| parent | af8fc529dfc6e321f84c036f3ebeaeb62e8e38c4 (diff) | |
| download | dotty-447256c89148e07dfddcfc065bd5f0946b0ae9aa.tar.gz dotty-447256c89148e07dfddcfc065bd5f0946b0ae9aa.tar.bz2 dotty-447256c89148e07dfddcfc065bd5f0946b0ae9aa.zip | |
Neg tests: remove xerror parameter from tests (compute based on // error)
Diffstat (limited to 'tests/neg/t7278.scala')
| -rw-r--r-- | tests/neg/t7278.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tests/neg/t7278.scala b/tests/neg/t7278.scala index 9a8292409..7aafbb76f 100644 --- a/tests/neg/t7278.scala +++ b/tests/neg/t7278.scala @@ -8,13 +8,13 @@ object Test { // should not compile (?) // martin says "I'd argue about that" // martin retracts his statement: this should not compile - type EE[+X <: EC] = X#E - type EE2[+X <: EC] = X#E // repeat to get error count to 2 + type EE[+X <: EC] = X#E // error: X is not a legal path; + type EE2[+X <: EC] = X#E // error: X is not a legal path; repeat to get error count to 2 def fail1(): Unit = { val b = new B var x1: EE[A] = null - var x2: EE[B] = new b.E // error: found: B#E, required: A#E + var x2: EE[B] = new b.E // old-error: found: B#E, required: A#E // x1 = x2 // gives a prior type error: B#E, required: A#E, masked to get at the real thing. } |