diff --git a/tests/pos/11973.scala b/tests/pos/11973.scala
new file mode 100644
index 000000000000..4c6e0bbd09a6
--- /dev/null
+++ 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 => ()
+}