File tree 1 file changed +1
-16
lines changed
compiler/src/dotty/tools/dotc/typer 1 file changed +1
-16
lines changed Original file line number Diff line number Diff line change @@ -505,21 +505,6 @@ trait ImplicitRunInfo { self: Run =>
505
505
def isLiftTarget (sym : Symbol ) = sym.isClass || sym.isOpaqueAlias
506
506
(lead /: tp.parentSymbols(isLiftTarget))(joinClass)
507
507
}
508
- case tp : NamedType =>
509
- tp.info match {
510
- case TypeAlias (alias) =>
511
- apply(alias)
512
- case TypeBounds (_, hi) =>
513
- if (tp.symbol.isOpaqueAlias) tp
514
- else {
515
- val pre = tp.prefix
516
- def joinClass (tp : Type , cls : ClassSymbol ) =
517
- AndType .make(tp, cls.typeRef.asSeenFrom(pre, cls.owner))
518
- val lead = if (pre eq NoPrefix ) defn.AnyType else apply(pre)
519
- (lead /: hi.classSymbols)(joinClass)
520
- }
521
- case _ => tp
522
- }
523
508
case tp : TypeVar =>
524
509
apply(tp.underlying)
525
510
case tp : AppliedType if ! tp.tycon.typeSymbol.isClass =>
@@ -598,7 +583,7 @@ trait ImplicitRunInfo { self: Run =>
598
583
val liftedTp = if (isLifted) tp else liftToClasses(tp)
599
584
val refs =
600
585
if (liftedTp ne tp) {
601
- implicitsDetailed.println(i " lifted of $tp = $liftedTp" )
586
+ implicitsDetailed.println(i " lifted of $tp = $liftedTp" )
602
587
iscope(liftedTp, isLifted = true ).companionRefs
603
588
}
604
589
else
You can’t perform that action at this time.
0 commit comments