summaryrefslogtreecommitdiff
path: root/test/pending/neg/t963.scala
diff options
context:
space:
mode:
Diffstat (limited to 'test/pending/neg/t963.scala')
-rw-r--r--test/pending/neg/t963.scala26
1 files changed, 0 insertions, 26 deletions
diff --git a/test/pending/neg/t963.scala b/test/pending/neg/t963.scala
deleted file mode 100644
index 3be0be1b84..0000000000
--- a/test/pending/neg/t963.scala
+++ /dev/null
@@ -1,26 +0,0 @@
-// Soundness bug, at #963 and dup at #2079.
-trait A {
- type T
- var v : T
-}
-
-object B {
- def f(x : { val y : A }) { x.y.v = x.y.v }
-
- var a : A = _
- var b : Boolean = false
- def y : A = {
- if(b) {
- a = new A { type T = Int; var v = 1 }
- a
- } else {
- a = new A { type T = String; var v = "" }
- b = true
- a
- }
- }
-}
-
-object Test extends Application {
- B.f(B)
-}