diff options
Diffstat (limited to 'test/files/neg/null-unsoundness.scala')
| -rw-r--r-- | test/files/neg/null-unsoundness.scala | 15 |
1 files changed, 0 insertions, 15 deletions
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 -} - |