diff options
| author | Martin Odersky <odersky@gmail.com> | 2007-06-29 17:53:23 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2007-06-29 17:53:23 +0000 |
| commit | a8a692413d68f752dca8f5ad7cc551a03f7f9436 (patch) | |
| tree | e1bb18431fe615eaa6a65e0bd01cff2b0ab56cd6 /test/files/neg/variances.check | |
| parent | 674015b30bb6191f955548b6eff705506bf5591c (diff) | |
| download | scala-a8a692413d68f752dca8f5ad7cc551a03f7f9436.tar.gz scala-a8a692413d68f752dca8f5ad7cc551a03f7f9436.tar.bz2 scala-a8a692413d68f752dca8f5ad7cc551a03f7f9436.zip | |
fixed bug1170
Diffstat (limited to 'test/files/neg/variances.check')
| -rw-r--r-- | test/files/neg/variances.check | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/test/files/neg/variances.check b/test/files/neg/variances.check index 7f46b656bc..ba894a439d 100644 --- a/test/files/neg/variances.check +++ b/test/files/neg/variances.check @@ -1,4 +1,10 @@ -variances.scala:2: error: covariant type A occurs in contravariant position in type Vector[A] of value x +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] ^ -one error found +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 type test.C[A] with ScalaObject{def this(): object Foo.this.Baz} of object Baz + object Baz extends C[A] + ^ +three errors found |