From 152563b963992dc7a5d8eea863cf70fc2b540c52 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Fri, 9 Feb 2007 14:45:55 +0000 Subject: made subtyping decidable. --- test/files/neg/bug692.check | 6 +++--- test/files/neg/bug798.check | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) (limited to 'test') 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 -- cgit v1.2.3