Backport from Linker: Fix to lambda lift. Fixes #1280.

CollectDependencies had incorrect handling of `Ident`s.
If it had ever met an `Ident` to a symbol defined outside of current
owner-chain(e.g. Predef.println) it would issue narrowTo(enclosingClass).

This is very conservative and leads to memory leaks
even in trivial lambdas.

My lambda-lift-foo groes stronger :-)

1 files changed, 9 insertions, 2 deletions

diff --git a/src/dotty/tools/dotc/transform/LambdaLift.scala b/src/dotty/tools/dotc/transform/LambdaLift.scala
index 3ef684e55..2d12a1d3c 100644
--- a/src/dotty/tools/dotc/transform/LambdaLift.scala
+++ b/src/dotty/tools/dotc/transform/LambdaLift.scala
@@ -249,14 +249,21 @@ class LambdaLift extends MiniPhase with IdentityDenotTransformer { thisTransform
               else if (sym is Method) markCalled(sym, enclosure)
               else if (sym.isTerm) markFree(sym, enclosure)
             }
-            if (sym.maybeOwner.isClass) narrowTo(sym.owner.asClass)
+            def captureImplicitThis(x: Type): Unit = {
+              x match {
+                case TermRef(x, _) => captureImplicitThis(x)
+                case x: ThisType => narrowTo(x.tref.typeSymbol.asClass)
+                case _ =>
+              }
+            }
+            captureImplicitThis(tree.tpe)
           case tree: Select =>
             if (sym.is(Method) && isLocal(sym)) markCalled(sym, enclosure)
           case tree: This =>
             narrowTo(tree.symbol.asClass)
           case tree: DefDef =>
             if (sym.owner.isTerm && !sym.is(Label))
-              liftedOwner(sym) = sym.enclosingClass.topLevelClass
+              liftedOwner(sym) = sym.enclosingPackageClass
                 // this will make methods in supercall constructors of top-level classes owned
                 // by the enclosing package, which means they will be static.
                 // On the other hand, all other methods will be indirectly owned by their