Delias in isSimpleThrowable check

fixes: #23357

Author: eejbyfeldt

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

@@ -71,7 +71,7 @@ class TryCatchPatterns extends MiniPhase {
     case _                                                               => isDefaultCase(cdef)
   }
 
-  private def isSimpleThrowable(tp: Type)(using Context): Boolean = tp.stripped match {
+  private def isSimpleThrowable(tp: Type)(using Context): Boolean = tp.strippedDealias match {
     case tp @ TypeRef(pre, _) =>
       (pre == NoPrefix || pre.typeSymbol.isStatic) && // Does not require outer class check
       !tp.symbol.is(Flags.Trait) && // Traits not supported by JVM

tests/run/i24357.scala

@@ -0,0 +1,10 @@
+class E1 extends Exception
+class E2 extends Exception
+
+type E1or2 = E1 | E2
+
+@main def Test =
+    try throw new Exception {}
+    catch
+      case e: E1or2 => assert(e.isInstanceOf[E1or2])
+      case _ => ()