summaryrefslogtreecommitdiff
path: root/test/files/neg/variances.check
diff options
context:
space:
mode:
Diffstat (limited to 'test/files/neg/variances.check')
-rw-r--r--test/files/neg/variances.check5
1 files changed, 4 insertions, 1 deletions
diff --git a/test/files/neg/variances.check b/test/files/neg/variances.check
index 5c8ddd5159..e6abdcbb53 100644
--- a/test/files/neg/variances.check
+++ b/test/files/neg/variances.check
@@ -7,4 +7,7 @@ variances.scala:14: error: covariant type A occurs in contravariant position in
variances.scala:16: error: covariant type A occurs in invariant position in supertype test.C[A] with ScalaObject of object Baz
object Baz extends C[A]
^
-three errors found
+variances.scala:63: error: covariant type A occurs in contravariant position in type => test.Covariant.T[A]{def m: (A) => A} of value x
+ val x: T[A] {
+ ^
+four errors found