We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
liftToAnchors
collectParts
1 parent d421f88 commit c794eabCopy full SHA for c794eab
compiler/src/dotty/tools/dotc/typer/Implicits.scala
@@ -636,7 +636,7 @@ trait ImplicitRunInfo:
636
else if implicitScopeCache.contains(t) then parts += t
637
else
638
partSeen += t
639
- t.dealias.normalized match
+ t.dealias match
640
case t: TypeRef =>
641
if isAnchor(t.symbol) then
642
parts += t
@@ -817,7 +817,7 @@ trait ImplicitRunInfo:
817
else AndType.make(apply(lo), apply(hi))
818
case u => apply(u)
819
820
- def apply(t: Type) = t.dealias match
+ def apply(t: Type) = t.dealias.normalized match
821
822
if t.symbol.isClass || isAnchor(t.symbol) then t else applyToUnderlying(t)
823
case t: TypeVar => apply(t.underlying)
0 commit comments