Merge pull request #9739 from dotty-staging/fix-9736

Fix #9736: Dealias in unrelated check

Author: nicolasstucki

compiler/src/dotty/tools/dotc/transform/TypeTestsCasts.scala

@@ -185,7 +185,7 @@ object TypeTestsCasts {
           else if tp.isRef(defn.AnyValClass) then defn.AnyClass
           else tp.classSymbol
 
-        def foundClasses(tp: Type, acc: List[Symbol]): List[Symbol] = tp match
+        def foundClasses(tp: Type, acc: List[Symbol]): List[Symbol] = tp.dealias match
           case OrType(tp1, tp2) => foundClasses(tp2, foundClasses(tp1, acc))
           case _ => effectiveClass(tp) :: acc
 

tests/pos-special/isInstanceOf/i9736.scala

@@ -0,0 +1,7 @@
+class Test {
+  type MyCombo = Int | Unit
+  val z: MyCombo = 10
+   z match
+    case i: Int => ???
+    case _ => ???
+}