Small optimization

odersky · odersky · commit 82e5d9630978 · 2020-04-05T11:16:03.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/transform/Erasure.scala b/compiler/src/dotty/tools/dotc/transform/Erasure.scala
@@ -705,9 +705,9 @@ object Erasure {
           else
             val castTarget = // Avoid inaccessible cast targets, see i8661
               if sym.owner.isAccessibleFrom(qual1.tpe)(using preErasureCtx)
-              then sym.owner
-              else erasure(tree.qualifier.typeOpt.widen).classSymbol
-            recur(cast(qual1, castTarget.typeRef))
+              then sym.owner.typeRef
+              else erasure(tree.qualifier.typeOpt.widen)
+            recur(cast(qual1, castTarget))
         }
       }
 

Original file line number	Diff line number	Diff line change
`@@ -705,9 +705,9 @@ object Erasure {`
`705`	`705`	`else`
`706`	`706`	`val castTarget = // Avoid inaccessible cast targets, see i8661`
`707`	`707`	`if sym.owner.isAccessibleFrom(qual1.tpe)(using preErasureCtx)`
`708`		`- then sym.owner`
`709`		`- else erasure(tree.qualifier.typeOpt.widen).classSymbol`
`710`		`- recur(cast(qual1, castTarget.typeRef))`
	`708`	`+ then sym.owner.typeRef`
	`709`	`+ else erasure(tree.qualifier.typeOpt.widen)`
	`710`	`+ recur(cast(qual1, castTarget))`
`711`	`711`	`}`
`712`	`712`	`}`
`713`	`713`