diff options
| author | Paul Phillips <paulp@improving.org> | 2013-01-02 07:09:21 -0800 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2013-01-09 12:11:15 -0800 |
| commit | a419799f872d5aae99728d711b1ced89e06804a8 (patch) | |
| tree | 572d18cb43f281939ccb2729f19e7096f5017508 /test/files/neg/variances.check | |
| parent | 567df8ef284ab7491d6e144eb169db77d8ac06be (diff) | |
| download | scala-a419799f872d5aae99728d711b1ced89e06804a8.tar.gz scala-a419799f872d5aae99728d711b1ced89e06804a8.tar.bz2 scala-a419799f872d5aae99728d711b1ced89e06804a8.zip | |
SI-6566, unsoundness with alias variance.
This wasn't as bad as it could have been. All these changes
plug soundness holes in trunk. Mostly we're looking at type
aliases which were merely protected when they had to be
protected[this] not to allow unsound variance crossover.
Diffstat (limited to 'test/files/neg/variances.check')
| -rw-r--r-- | test/files/neg/variances.check | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/files/neg/variances.check b/test/files/neg/variances.check index 0643e533b7..7d965e94dc 100644 --- a/test/files/neg/variances.check +++ b/test/files/neg/variances.check @@ -13,7 +13,10 @@ variances.scala:21: error: covariant type A occurs in invariant position in supe 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:89: error: covariant type T occurs in invariant position in type T of type A + type A = T + ^ 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] ^ -6 errors found +7 errors found |