From 393bd283a13d13647817d33ecd149a17703ba526 Mon Sep 17 00:00:00 2001
From: Olivier Blanvillain <olivier.blanvillain@gmail.com>
Date: Wed, 9 Jun 2021 14:45:41 +0200
Subject: [PATCH] Fix #11973: Add regression test

---
 tests/pos/11973.scala | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 tests/pos/11973.scala

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 => ()
+}