diff options
| -rw-r--r-- | test/files/neg/abstract.check | 10 | ||||
| -rw-r--r-- | test/files/neg/escapes.check | 3 |
2 files changed, 10 insertions, 3 deletions
diff --git a/test/files/neg/abstract.check b/test/files/neg/abstract.check index 86fded0fce..a64a5da85f 100644 --- a/test/files/neg/abstract.check +++ b/test/files/neg/abstract.check @@ -1,11 +1,19 @@ +abstract.scala:5 error: method bar cannot be accessed in A.this.T + because its instance type ()A.this.T#T contains a malformed type: A.this.T#T + def foo1: A = bar().bar(); + ^ abstract.scala:6 error: type mismatch; found : A required: A.this.T def foo2: T = bar().baz(); ^ +abstract.scala:8 error: method bar cannot be accessed in A + because its instance type ()A#T contains a malformed type: A#T + def foo4: A = baz().bar(); + ^ abstract.scala:9 error: type mismatch; found : A required: A.this.T def foo5: T = baz().baz(); ^ -two errors found +four errors found diff --git a/test/files/neg/escapes.check b/test/files/neg/escapes.check index 95299a4c75..3f1f32909c 100644 --- a/test/files/neg/escapes.check +++ b/test/files/neg/escapes.check @@ -1,5 +1,4 @@ escapes.scala:2 error: type t escapes its defining scope as part of type t - def f(x: Any) = x match { case y: Cell[t] => y.elem }
+ def f(x: Any) = x match { case y: Cell[t] => y.elem } ^ -subst type t to T one error found |