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 7ee8e9f commit 849d2daCopy full SHA for 849d2da
src/dotty/tools/dotc/core/Types.scala
@@ -812,10 +812,10 @@ object Types {
812
case pre: RefinedType =>
813
if (pre.refinedName ne name) loop(pre.parent)
814
else pre.refinedInfo match {
815
- case TypeAlias(tp) =>
816
- if (!pre.refinementRefersToThis) tp
817
- else tp match {
818
- case TypeRef(SkolemType(`pre`), alias) => lookupRefined(alias)
+ case TypeAlias(alias) =>
+ if (!pre.refinementRefersToThis) alias
+ else alias match {
+ case TypeRef(SkolemType(`pre`), aliasName) => lookupRefined(aliasName )
819
case _ => NoType
820
}
821
case _ => loop(pre.parent)
0 commit comments