diff options
Diffstat (limited to 'test/files')
-rw-r--r-- | test/files/neg/abstract.check | 18 | ||||
-rw-r--r-- | test/files/neg/abstract.scala | 10 |
2 files changed, 16 insertions, 12 deletions
diff --git a/test/files/neg/abstract.check b/test/files/neg/abstract.check index 87fb66f946..86fded0fce 100644 --- a/test/files/neg/abstract.check +++ b/test/files/neg/abstract.check @@ -1,9 +1,11 @@ -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 = bar().bar(); - ^ -abstract.scala:7 error: method bar cannot be accessed in A - because its instance type ()A#T contains a malformed type: A#T - def foo3 = baz().bar(); - ^ +abstract.scala:6 error: type mismatch; + found : A + required: A.this.T + def foo2: T = bar().baz(); + ^ +abstract.scala:9 error: type mismatch; + found : A + required: A.this.T + def foo5: T = baz().baz(); + ^ two errors found diff --git a/test/files/neg/abstract.scala b/test/files/neg/abstract.scala index 41cfc81309..f8ecae16fa 100644 --- a/test/files/neg/abstract.scala +++ b/test/files/neg/abstract.scala @@ -2,8 +2,10 @@ trait A { type T <: A; def baz(): A; def bar(): T; - def foo1 = bar().bar(); - def foo2 = bar().baz(); - def foo3 = baz().bar(); - def foo4 = baz().baz(); + def foo1: A = bar().bar(); + def foo2: T = bar().baz(); + def foo3 = bar().baz(); + def foo4: A = baz().bar(); + def foo5: T = baz().baz(); + def foo6 = baz().baz(); } |