diff options
author | Martin Odersky <odersky@gmail.com> | 2007-02-09 14:45:55 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2007-02-09 14:45:55 +0000 |
commit | 152563b963992dc7a5d8eea863cf70fc2b540c52 (patch) | |
tree | c71c98df4b08bd52a0685b812483a5a609082c1c /test/files/neg/bug692.check | |
parent | 7adcd11916bde8d603302913feb591f0a3c3d333 (diff) | |
download | scala-152563b963992dc7a5d8eea863cf70fc2b540c52.tar.gz scala-152563b963992dc7a5d8eea863cf70fc2b540c52.tar.bz2 scala-152563b963992dc7a5d8eea863cf70fc2b540c52.zip |
made subtyping decidable.
Diffstat (limited to 'test/files/neg/bug692.check')
-rw-r--r-- | test/files/neg/bug692.check | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/files/neg/bug692.check b/test/files/neg/bug692.check index 844b63827b..6eb9f7d8af 100644 --- a/test/files/neg/bug692.check +++ b/test/files/neg/bug692.check @@ -10,10 +10,10 @@ bug692.scala:13: error: class Foo takes type parameters bug692.scala:13: error: class Foo takes type parameters case class BarType[T3 <: Foo](tpeT : RefType[T3]) extends ClassType[Bar[T3],Foo](FooType); ^ -bug692.scala:14: error: class Foo takes type parameters - implicit def typeOfBar[T4 <: Foo](implicit elem : RefType[T4]) : RefType[Bar[T4]] = - ^ bug692.scala:19: error: class Foo takes type parameters class Bar[A <: Foo](implicit tpeA : Type[A]) extends Foo; ^ +bug692.scala:14: error: class Foo takes type parameters + implicit def typeOfBar[T4 <: Foo](implicit elem : RefType[T4]) : RefType[Bar[T4]] = + ^ 6 errors found |