diff options
author | Martin Odersky <odersky@gmail.com> | 2006-10-07 11:58:56 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-10-07 11:58:56 +0000 |
commit | 717d95c97848717fc4b09622750fcab7508e05b3 (patch) | |
tree | e23a6eb4ad174555cb50c9d8b8e128ea8624f320 /test/files/neg/abstract.check | |
parent | 5c21476c57df9bf80f8c9cd0fad970e8b423f46e (diff) | |
download | scala-717d95c97848717fc4b09622750fcab7508e05b3.tar.gz scala-717d95c97848717fc4b09622750fcab7508e05b3.tar.bz2 scala-717d95c97848717fc4b09622750fcab7508e05b3.zip |
introduced type approximations instead of malfo...
introduced type approximations instead of malformed type errors
Diffstat (limited to 'test/files/neg/abstract.check')
-rw-r--r-- | test/files/neg/abstract.check | 18 |
1 files changed, 10 insertions, 8 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 |