summaryrefslogtreecommitdiff
path: root/test-nsc/files/pos/S8.scala
diff options
context:
space:
mode:
Diffstat (limited to 'test-nsc/files/pos/S8.scala')
-rw-r--r--test-nsc/files/pos/S8.scala19
1 files changed, 0 insertions, 19 deletions
diff --git a/test-nsc/files/pos/S8.scala b/test-nsc/files/pos/S8.scala
deleted file mode 100644
index 50f1df27a2..0000000000
--- a/test-nsc/files/pos/S8.scala
+++ /dev/null
@@ -1,19 +0,0 @@
-/* I believe this code is correct, but the compiler rejects it:
-**
-** S8.scala:18: type mismatch;
-** found : M.x.A
-** required: M.x.a.B
-** val y: x.a.B = new x.A(); //correct?
-** ^
-** For a given value x of type S8, type x.A should be
-** a subtype of x.a.B.
-*/
-class S8() {
- val a: S8 = this;
- class A() extends a.B() {}
- class B() {}
-}
-object M {
- val x = new S8();
- val y: x.a.B = new x.A(); //correct?
-}