Fix SI-6637 (misoptimization in erasure)

Move the optimization one level deeper so the expression
being tested with isInstanceOf is always evaluated.

1 files changed, 8 insertions, 0 deletions

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")
+  }
+}