summaryrefslogtreecommitdiff
path: root/test/files/neg/bug692.check
diff options
context:
space:
mode:
Diffstat (limited to 'test/files/neg/bug692.check')
-rw-r--r--test/files/neg/bug692.check7
1 files changed, 6 insertions, 1 deletions
diff --git a/test/files/neg/bug692.check b/test/files/neg/bug692.check
index 14df1917d9..9e96027899 100644
--- a/test/files/neg/bug692.check
+++ b/test/files/neg/bug692.check
@@ -13,7 +13,12 @@ bug692.scala:13: error: class Foo takes type parameters
bug692.scala:14: error: class Foo takes type parameters
implicit def typeOfBar[T4 <: Foo](implicit elem : RefType[T4]) : RefType[Bar[T4]] =
^
+bug692.scala:15: error: type mismatch;
+ found : test3.this.BarType[T4]
+ required: test3.this.RefType[test3.this.Bar[T4]]
+ BarType(elem);
+ ^
bug692.scala:19: error: class Foo takes type parameters
class Bar[A <: Foo](implicit tpeA : Type[A]) extends Foo;
^
-6 errors found
+7 errors found