diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
index 9b96f6c56b4d..c1bcab2ffd88 100644
--- a/compiler/src/dotty/tools/dotc/core/Types.scala
+++ b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -4654,13 +4654,14 @@ object Types extends TypeUtils {
       cachedUnderlyingMatch
 
     override def tryNormalize(using Context): Type =
-      tryCompiletimeConstantFold.orElse:
+      def tryMatchAlias =
         if isMatchAlias then trace(i"normalize $this", typr, show = true):
           if MatchTypeTrace.isRecording then
             MatchTypeTrace.recurseWith(this)(superType.tryNormalize)
           else
             underlyingMatchType.tryNormalize
         else NoType
+      tryCompiletimeConstantFold.orElse(tryMatchAlias)
 
     /** Is this an unreducible application to wildcard arguments?
      *  This is the case if tycon is higher-kinded. This means