diff options
Diffstat (limited to 'test/files/neg/lubs.check')
-rw-r--r-- | test/files/neg/lubs.check | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/files/neg/lubs.check b/test/files/neg/lubs.check index 2acf7ec301..81c280e76f 100644 --- a/test/files/neg/lubs.check +++ b/test/files/neg/lubs.check @@ -1,16 +1,16 @@ lubs.scala:11: error: type mismatch; - found : test1.this.A[test1.this.A[test1.this.A[scala.Any]]] - required: test1.this.A[test1.this.A[test1.this.A[test1.this.A[scala.Any]]]] + found : test1.this.A[test1.this.A[test1.this.A[Any]]] + required: test1.this.A[test1.this.A[test1.this.A[test1.this.A[Any]]]] val x4: A[A[A[A[Any]]]] = f ^ lubs.scala:24: error: type mismatch; found : test2.this.A{type T >: test2.this.C with test2.this.D <: test2.this.A} - required: test2.this.A{type T >: scala.Null <: test2.this.A{type T >: scala.Null <: test2.this.A}} + required: test2.this.A{type T >: Null <: test2.this.A{type T >: Null <: test2.this.A}} val x3: A { type T >: Null <: A { type T >: Null <: A } } = f ^ lubs.scala:25: error: type mismatch; found : test2.this.A{type T >: test2.this.C with test2.this.D <: test2.this.A} - required: test2.this.A{type T >: scala.Null <: test2.this.A{type T >: scala.Null <: test2.this.A{type T >: scala.Null <: test2.this.A}}} + required: test2.this.A{type T >: Null <: test2.this.A{type T >: Null <: test2.this.A{type T >: Null <: test2.this.A}}} val x4: A { type T >: Null <: A { type T >: Null <: A { type T >: Null <: A } } } = f ^ three errors found |