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/t6566a.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/t6566a.check')
| -rw-r--r-- | test/files/neg/t6566a.check | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/files/neg/t6566a.check b/test/files/neg/t6566a.check new file mode 100644 index 0000000000..7668f9d2fb --- /dev/null +++ b/test/files/neg/t6566a.check @@ -0,0 +1,4 @@ +t6566a.scala:2: error: covariant type T occurs in invariant position in type T of type MyType + class TypeCheat[+T] { type MyType = T } + ^ +one error found |