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.scala | |
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.scala')
-rw-r--r-- | test/files/neg/abstract.scala | 10 |
1 files changed, 6 insertions, 4 deletions
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(); } |