diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/files/neg/null-unsoundness.check | 5 | ||||
-rw-r--r-- | test/files/neg/null-unsoundness.scala | 15 |
2 files changed, 0 insertions, 20 deletions
diff --git a/test/files/neg/null-unsoundness.check b/test/files/neg/null-unsoundness.check deleted file mode 100644 index 5f28e76d06..0000000000 --- a/test/files/neg/null-unsoundness.check +++ /dev/null @@ -1,5 +0,0 @@ -null-unsoundness.scala:8: error: stable identifier required, but A.this.x found. - Note that value x is not stable because its type, A.this.D with A.this.A, is volatile. - var y: x.T = new C("abc") - ^ -one error found diff --git a/test/files/neg/null-unsoundness.scala b/test/files/neg/null-unsoundness.scala deleted file mode 100644 index d30ff613b1..0000000000 --- a/test/files/neg/null-unsoundness.scala +++ /dev/null @@ -1,15 +0,0 @@ -class B -class C(x: String) extends B - -class A { - type A >: Null - class D { type T >: C <: B } - val x: D with A = null - var y: x.T = new C("abc") -} -object Test extends A with Application { - class C { type T = Int; val x = 1 } - type A = C - y = 42 -} - |