Fix scala#11973: Bail out on EnumValues

dotty-staging · May 20, 2021 · d645f5a · d645f5a
1 parent 4bf2f04
commit d645f5a
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -2586,6 +2586,10 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling
         provablyDisjoint(tp1, gadtBounds(tp2.symbol).hi) || provablyDisjoint(tp1, tp2.superType)
       case (tp1: TermRef, tp2: TermRef) if isEnumValueOrModule(tp1) && isEnumValueOrModule(tp2) =>
         tp1.termSymbol != tp2.termSymbol
+      case (tp1: TermRef, _) if isEnumValueOrModule(tp1) =>
+        false
+      case (_, tp2: TermRef) if isEnumValueOrModule(tp2) =>
+        false
       case (tp1: Type, tp2: Type) if defn.isTupleType(tp1) =>
         provablyDisjoint(tp1.toNestedPairs, tp2)
       case (tp1: Type, tp2: Type) if defn.isTupleType(tp2) =>

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