diff options
Diffstat (limited to 'test/pending/neg/t963.scala')
-rw-r--r-- | test/pending/neg/t963.scala | 26 |
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) -} |