summaryrefslogtreecommitdiff
path: root/test/files/neg/variances.check
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2012-04-05 17:17:39 -0700
committerMartin Odersky <odersky@gmail.com>2012-04-05 17:17:39 -0700
commit115f5467e3f3ff07abbba2b23c40c2ff0d7ddd1b (patch)
tree15265c311900918c79c5eda8d54c58fc145ef4a8 /test/files/neg/variances.check
parent7f79ef0e30f088b41b14763f44338c240acf1a63 (diff)
parent754b4a85e4093f25cc10f092fefdb34215097c94 (diff)
downloadscala-115f5467e3f3ff07abbba2b23c40c2ff0d7ddd1b.tar.gz
scala-115f5467e3f3ff07abbba2b23c40c2ff0d7ddd1b.tar.bz2
scala-115f5467e3f3ff07abbba2b23c40c2ff0d7ddd1b.zip
Merge branch 'master' into topic/reflect
Diffstat (limited to 'test/files/neg/variances.check')
-rw-r--r--test/files/neg/variances.check19
1 files changed, 11 insertions, 8 deletions
diff --git a/test/files/neg/variances.check b/test/files/neg/variances.check
index dc72b05e1e..0643e533b7 100644
--- a/test/files/neg/variances.check
+++ b/test/files/neg/variances.check
@@ -1,16 +1,19 @@
variances.scala:4: error: covariant type A occurs in contravariant position in type test.Vector[A] of value x
- def append(x: Vector[A]): Vector[A]
+ def append(x: Vector[A]): Vector[A]
^
-variances.scala:14: error: covariant type A occurs in contravariant position in type A of value a
- private[this] def setA(a : A) = this.a = a
- ^
-variances.scala:16: error: covariant type A occurs in invariant position in supertype test.C[A] of object Baz
+variances.scala:18: error: covariant type A occurs in contravariant position in type A of value a
+ private def setA3(a : A) = this.a = a
+ ^
+variances.scala:19: error: covariant type A occurs in contravariant position in type A of value a
+ protected def setA4(a : A) = this.a = a
+ ^
+variances.scala:21: error: covariant type A occurs in invariant position in supertype test.C[A] of object Baz
object Baz extends C[A]
^
-variances.scala:63: error: covariant type A occurs in contravariant position in type => test.Covariant.T[A]{val m: A => A} of value x
+variances.scala:74: error: covariant type A occurs in contravariant position in type => test.Covariant.T[A]{val m: A => A} of value x
val x: T[A] {
^
-variances.scala:79: error: covariant type T occurs in contravariant position in type => test.TestAlias.B[C.this.A] of method foo
+variances.scala:90: error: covariant type T occurs in contravariant position in type => test.TestAlias.B[C.this.A] of method foo
def foo: B[A]
^
-5 errors found
+6 errors found