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 | |
parent | 7adcd11916bde8d603302913feb591f0a3c3d333 (diff) | |
download | scala-152563b963992dc7a5d8eea863cf70fc2b540c52.tar.gz scala-152563b963992dc7a5d8eea863cf70fc2b540c52.tar.bz2 scala-152563b963992dc7a5d8eea863cf70fc2b540c52.zip |
made subtyping decidable.
Diffstat (limited to 'test')
-rw-r--r-- | test/files/neg/bug692.check | 6 | ||||
-rw-r--r-- | test/files/neg/bug798.check | 2 |
2 files changed, 4 insertions, 4 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 diff --git a/test/files/neg/bug798.check b/test/files/neg/bug798.check index a740f933a2..5859e1e769 100644 --- a/test/files/neg/bug798.check +++ b/test/files/neg/bug798.check @@ -1,4 +1,4 @@ bug798.scala:2: error: cyclic aliasing or subtyping involving type Bracks trait Test[Bracks <: Bracks] { - ^ + ^ one error found |