Regroup tryNormalize logic

Only AppliedType still overrides tryNormalize,
but just for MatchTypeTrace purposes.

Also drop `handleRecursive` from `tryNormalize`,
it is already handled in `MatchType#reduced`.

Author: EugeneFlesselle

compiler/src/dotty/tools/dotc/core/Types.scala

@@ -468,11 +468,6 @@ object Types extends TypeUtils {
     /** Does this application expand to a match type? */
     def isMatchAlias(using Context): Boolean = underlyingMatchType.exists
 
-    def underlyingMatchType(using Context): Type = this.safeDealias.stripLazyRef match
-      case tp: MatchType => tp
-      case tp: AppliedType => tp.underlyingMatchType
-      case _ => NoType
-
     /** Is this a higher-kinded type lambda with given parameter variances?
      *  These lambdas are used as the RHS of higher-kinded abstract types or
      *  type aliases. The variance info is strictly needed only for abstract types.
@@ -1538,9 +1533,14 @@ object Types extends TypeUtils {
      *  of S[n] types, the result after applying all toplevel normalizations,
      *  otherwise NoType
      */
-    def tryNormalize(using Context): Type =
-      if isMatchAlias then underlyingMatchType.tryNormalize
-      else NoType
+    def tryNormalize(using Context): Type = underlyingMatchType match
+      case mt: MatchType => mt.reduced.normalized
+      case _ => NoType
+
+    def underlyingMatchType(using Context): Type = this.safeDealias.stripLazyRef match
+      case tp: MatchType => tp
+      case tp: AppliedType => tp.underlyingMatchType
+      case _ => NoType
 
     private def widenDealias1(keep: AnnotatedType => Context ?=> Boolean)(using Context): Type = {
       val res = this.widen.dealias1(keep, keepOpaques = false)
@@ -5085,13 +5085,6 @@ object Types extends TypeUtils {
     private var myReduced: Type | Null = null
     private var reductionContext: util.MutableMap[Type, Type] | Null = null
 
-    override def tryNormalize(using Context): Type =
-      try
-        reduced.normalized
-      catch
-        case ex: Throwable =>
-          handleRecursive("normalizing", s"${scrutinee.show} match ..." , ex)
-
     private def thisMatchType = this
 
     def reduced(using Context): Type = atPhaseNoLater(elimOpaquePhase) {