diff options
author | Philipp Haller <hallerp@gmail.com> | 2009-06-22 13:50:49 +0000 |
---|---|---|
committer | Philipp Haller <hallerp@gmail.com> | 2009-06-22 13:50:49 +0000 |
commit | e1b88d7758c2f042169fe9a85d8f642692176cf7 (patch) | |
tree | 3ce91813337c724b0cbf951e16563b2b59edf407 /test | |
parent | c50f73ddb1c46acbfd5fca63dd698d92e2b07905 (diff) | |
download | scala-e1b88d7758c2f042169fe9a85d8f642692176cf7.tar.gz scala-e1b88d7758c2f042169fe9a85d8f642692176cf7.tar.bz2 scala-e1b88d7758c2f042169fe9a85d8f642692176cf7.zip |
Added test for #2079.
Diffstat (limited to 'test')
-rw-r--r-- | test/pending/neg/t2079.scala | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/test/pending/neg/t2079.scala b/test/pending/neg/t2079.scala new file mode 100644 index 0000000000..a86674c7e0 --- /dev/null +++ b/test/pending/neg/t2079.scala @@ -0,0 +1,25 @@ +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) +} |