diff options
| author | Martin Odersky <odersky@gmail.com> | 2008-07-10 14:59:55 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2008-07-10 14:59:55 +0000 |
| commit | d3744118959edcbb8fb061d106078864f83fb7b2 (patch) | |
| tree | 9ff868237e2b1be920b26d1591350d09688bb6fa /test/files/neg/bug1279a.check | |
| parent | f12e0645fff0039e5cb681cb766a1b2be884e61d (diff) | |
| download | scala-d3744118959edcbb8fb061d106078864f83fb7b2.tar.gz scala-d3744118959edcbb8fb061d106078864f83fb7b2.tar.bz2 scala-d3744118959edcbb8fb061d106078864f83fb7b2.zip | |
fixed t0851 and t1101.
Diffstat (limited to 'test/files/neg/bug1279a.check')
| -rw-r--r-- | test/files/neg/bug1279a.check | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/test/files/neg/bug1279a.check b/test/files/neg/bug1279a.check index a2259f6cda..edfd1fe871 100644 --- a/test/files/neg/bug1279a.check +++ b/test/files/neg/bug1279a.check @@ -1,8 +1,6 @@ -bug1279a.scala:34: error: no type parameters for method all4Impl: (M{type T <: U})Stream[M{type T <: U}] exist so that it can be applied to arguments (first.selfType) - --- because --- -argument expression's type is not compatible with formal parameter type; +bug1279a.scala:34: error: type mismatch; found : first.selfType required: M{type T <: this.T} def all4Impl[U](first: M {type T <: U}): Stream[M {type T <: U}] = Stream.cons(first, all4Impl(first.next)) - ^ + ^ one error found |