Merge pull request #12282 from dotty-staging/fix-12279

liufengyun · web-flow · commit bdca541a94c3 · 2021-04-30T13:34:08.000+02:00
Fix #12279: Add test
diff --git a/tests/patmat/i12279.scala b/tests/patmat/i12279.scala
@@ -0,0 +1,9 @@
+import scala.reflect.Typeable
+
+def unionTypeTest[T: Typeable](m: Int|T) =
+  m match
+  case x: Int => println("Got Int")
+  case t: T => println("Got T")
+
+@main def run =
+  unionTypeTest(())
