Merge pull request #9594 from dotty-staging/change-codegen-given-this

odersky · web-flow · commit 2240b293f50c · 2020-08-19T19:07:38.000+02:00
Don't cache given aliases to `this`
diff --git a/compiler/src/dotty/tools/dotc/transform/CacheAliasImplicits.scala b/compiler/src/dotty/tools/dotc/transform/CacheAliasImplicits.scala
@@ -56,6 +56,7 @@ class CacheAliasImplicits extends MiniPhase with IdentityDenotTransformer { this
             if rhsTpe.isStable => false
             case rhsTpe @ TermRef(pre: ThisType, _)
             if rhsTpe.isStable && pre.cls == sym.owner.enclosingClass => false
+            case rhsTpe: ThisType => false
             case _ => true
           }
         case _ => false

Original file line number	Diff line number	Diff line change
`@@ -56,6 +56,7 @@ class CacheAliasImplicits extends MiniPhase with IdentityDenotTransformer { this`
`56`	`56`	`if rhsTpe.isStable => false`
`57`	`57`	`case rhsTpe @ TermRef(pre: ThisType, _)`
`58`	`58`	`if rhsTpe.isStable && pre.cls == sym.owner.enclosingClass => false`
	`59`	`+ case rhsTpe: ThisType => false`
`59`	`60`	`case _ => true`
`60`	`61`	`}`
`61`	`62`	`case _ => false`