Restore local def tryMatchAlias for JIT purposes

scala · Apr 24, 2024 · a0f2126 · a0f2126
1 parent b521296
commit a0f2126
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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