We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
def tryMatchAlias
1 parent b521296 commit a0f2126Copy full SHA for a0f2126
compiler/src/dotty/tools/dotc/core/Types.scala
@@ -4654,13 +4654,14 @@ object Types extends TypeUtils {
4654
cachedUnderlyingMatch
4655
4656
override def tryNormalize(using Context): Type =
4657
- tryCompiletimeConstantFold.orElse:
+ def tryMatchAlias =
4658
if isMatchAlias then trace(i"normalize $this", typr, show = true):
4659
if MatchTypeTrace.isRecording then
4660
MatchTypeTrace.recurseWith(this)(superType.tryNormalize)
4661
else
4662
underlyingMatchType.tryNormalize
4663
else NoType
4664
+ tryCompiletimeConstantFold.orElse(tryMatchAlias)
4665
4666
/** Is this an unreducible application to wildcard arguments?
4667
* This is the case if tycon is higher-kinded. This means
0 commit comments