Fix CI

scala · May 21, 2021 · ae37dcc · ae37dcc
1 parent 795ecf5
commit ae37dcc
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 3 deletions.
diff --git a/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala b/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala
@@ -599,10 +599,10 @@ class SpaceEngine(using Context) extends SpaceLogic {
                 Typ(tp, decomposed = true) :: Nil
               else if tpB <:< tp then
                 Typ(tpB, decomposed = true) :: Nil
+              else if TypeComparer.provablyDisjoint(tp, tpB) then
+                Nil
               else
-                intersectUnrelatedAtomicTypes(tp, tpB) match
-                case Empty => Nil
-                case typ: Typ => List(typ)
+                Typ(AndType(tp, tpB), decomposed = true) :: Nil
           }
 
         if canDecompose(tp1) then

diff --git a/tests/patmat/i10667.scala b/tests/patmat/i10667.scala
@@ -0,0 +1,15 @@
+sealed trait A
+
+enum Nums {
+  case One
+  case Two extends Nums with A
+  case Three
+}
+
+object Test {
+  val list = List[Nums & A](Nums.Two)
+
+  list.map {
+    case Nums.Two => ()
+  }
+}