Fix CI

Author: liufengyun

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(tp1, tp2), decomposed = true) :: Nil
           }
 
         if canDecompose(tp1) then

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