Merge pull request #12542 from dotty-staging/fix-11973

Fix #11973: Add regression test
scala · Jun 9, 2021 · 73f099f · 73f099f
2 parents 30da597 + 393bd28
commit 73f099f
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/tests/pos/11973.scala b/tests/pos/11973.scala
@@ -0,0 +1,9 @@
+enum E:
+  case C
+
+trait T
+
+def f(x: E | T): Unit = x match {
+  case e: E => ()
+  case t: T => ()
+}