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.
1 parent 681f3bc commit 40dc06cCopy full SHA for 40dc06c
compiler/src/dotty/tools/dotc/core/GadtConstraint.scala
@@ -84,9 +84,9 @@ class GadtConstraint private (
84
}
85
86
def externalize(tp: Type, theMap: TypeMap | Null = null)(using Context): Type = tp match
87
- case param: TypeParamRef => reverseMapping(param) match
88
- case sym: Symbol => sym.typeRef
89
- case null => param
+ case param: TypeParamRef =>
+ val sym = reverseMapping(param)
+ if sym != null then sym.typeRef else param
90
case tp: TypeAlias => tp.derivedAlias(externalize(tp.alias, theMap))
91
case tp => (if theMap == null then ExternalizeMap() else theMap).mapOver(tp)
92
0 commit comments