Merge pull request #2849 from retronym/ticket/7763

SI-7763 Avoid dropping casts in erasure

1 files changed, 20 insertions, 0 deletions

diff --git a/test/files/run/t7763.scala b/test/files/run/t7763.scala
new file mode 100644
index 0000000000..638077e64a
--- /dev/null
+++ b/test/files/run/t7763.scala
@@ -0,0 +1,20 @@
+object Test {
+  class A; class B
+  def main(args: Array[String]) {
+    def noExpectedType() {
+      a().asInstanceOf[B] // cast elided!
+    }
+    def withExpectedType(): B = {
+      a().asInstanceOf[B]
+    }
+    def test(a: => Any) = try {
+      a
+      sys.error("no CCE!")
+    } catch {case _: ClassCastException => }
+
+    test(noExpectedType())
+    test(withExpectedType())
+  }
+
+  def a(): Object = new A
+}