tryCompiletimeConstantFold in simplify

Author: EugeneFlesselle

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

@@ -142,11 +142,8 @@ object TypeOps:
       case defn.MatchCase(pat, body) =>
         defn.MatchCase(simplify(pat, theMap), body)
       case tp: AppliedType =>
-        tp.tycon match
-          case tycon: TypeRef if tp.isMatchAlias =>
-            isFullyDefined(tp, ForceDegree.all)
-          case _ =>
-        val normed = tp.tryNormalize
+        if tp.isMatchAlias then isFullyDefined(tp, ForceDegree.all)
+        val normed = tp.tryNormalize.orElse(tp.tryCompiletimeConstantFold)
         if normed.exists then simplify(normed, theMap) else tp.map(simplify(_, theMap))
       case tp: TypeParamRef =>
         val tvar = ctx.typerState.constraint.typeVarOfParam(tp)