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.
validUnderlyingMatch
validSuper
1 parent eaa673d commit ee54814Copy full SHA for ee54814
compiler/src/dotty/tools/dotc/core/Types.scala
@@ -4677,8 +4677,8 @@ object Types extends TypeUtils {
4677
*/
4678
override def underlyingMatchType(using Context): Type =
4679
if ctx.period != validUnderlyingMatch then
4680
- validUnderlyingMatch = if tycon.isProvisional then Nowhere else ctx.period
4681
cachedUnderlyingMatch = superType.underlyingMatchType
+ validUnderlyingMatch = validSuper
4682
cachedUnderlyingMatch
4683
4684
override def tryNormalize(using Context): Type = tycon.stripTypeVar match {
0 commit comments