diff options
author | Paul Phillips <paulp@improving.org> | 2013-01-24 16:41:23 -0800 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2013-01-24 16:41:23 -0800 |
commit | 40bf1d8d8e300cab0f9a5f8dc78fc26a8e44f869 (patch) | |
tree | 32902d6a3cb118b23eb8436b35fa56ab313a655b /test/files | |
parent | 6448f00b175d84f1a4f37ddcca232b32be89ecab (diff) | |
parent | 4dceb2268780462823a98168d7350687d5cf27a8 (diff) | |
download | scala-40bf1d8d8e300cab0f9a5f8dc78fc26a8e44f869.tar.gz scala-40bf1d8d8e300cab0f9a5f8dc78fc26a8e44f869.tar.bz2 scala-40bf1d8d8e300cab0f9a5f8dc78fc26a8e44f869.zip |
Merge pull request #1952 from retronym/backport/1599
[backport] Fix SI-6637 (misoptimization in erasure)
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") + } +} |