diff options
author | Jan Niehusmann <jan@gondor.com> | 2012-11-09 15:05:58 +0100 |
---|---|---|
committer | Jan Niehusmann <jan@gondor.com> | 2012-11-09 19:01:12 +0100 |
commit | b540aaee4ba30e2dd980456a44e8c6d732222df1 (patch) | |
tree | 8bd5886a516375d8fb81acf1bc188535b9275938 /test/files | |
parent | 4f98d50bc23acab19e99d35c3e6a046a147984ba (diff) | |
download | scala-b540aaee4ba30e2dd980456a44e8c6d732222df1.tar.gz scala-b540aaee4ba30e2dd980456a44e8c6d732222df1.tar.bz2 scala-b540aaee4ba30e2dd980456a44e8c6d732222df1.zip |
Fix SI-6637 (misoptimization in erasure)
Move the optimization one level deeper so the expression
being tested with isInstanceOf is always evaluated.
Diffstat (limited to 'test/files')
-rw-r--r-- | test/files/run/t6637.check | 1 | ||||
-rw-r--r-- | test/files/run/t6637.scala | 8 |
2 files changed, 9 insertions, 0 deletions
diff --git a/test/files/run/t6637.check b/test/files/run/t6637.check new file mode 100644 index 0000000000..9766475a41 --- /dev/null +++ b/test/files/run/t6637.check @@ -0,0 +1 @@ +ok diff --git a/test/files/run/t6637.scala b/test/files/run/t6637.scala new file mode 100644 index 0000000000..d3c380370b --- /dev/null +++ b/test/files/run/t6637.scala @@ -0,0 +1,8 @@ + +object Test extends App { + try { + class A ; class B ; List().head.isInstanceOf[A with B] + } catch { + case _ :java.util.NoSuchElementException => println("ok") + } +} |