Merge pull request #359 from dotty-staging/fix/erasure-lub-alternative

Fix/erasure lub alternative

1 files changed, 27 insertions, 0 deletions

diff --git a/tests/pos/erased-lub.scala b/tests/pos/erased-lub.scala
new file mode 100644
index 000000000..d3d2183c1
--- /dev/null
+++ b/tests/pos/erased-lub.scala
@@ -0,0 +1,27 @@
+// Verify that expressions below perform correct boxings in erasure.
+object Test {
+  def id[T](t: T) = t
+
+  val x = true
+  val one = 1
+
+  { if (x) id(one) else 0 } + 1
+
+  { if (x) new scala.util.Random()}.asInstanceOf[Runnable]
+
+  { x match {
+      case true => id(one)
+      case _ => 0
+    }
+  } + 1
+
+  { try {
+      id(one)
+    } catch {
+      case ex: Exception => 0
+    }
+  }.asInstanceOf[Runnable]
+
+  val arr = Array(id(one), 0)
+
+}