From a419799f872d5aae99728d711b1ced89e06804a8 Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Wed, 2 Jan 2013 07:09:21 -0800 Subject: 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. --- test/files/neg/t6566a.check | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 test/files/neg/t6566a.check (limited to 'test/files/neg/t6566a.check') 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 -- cgit v1.2.3