Merge pull request #899 from dotty-staging/fix-#880

Require outer pointer also for proxies of enclosing classes.

2 files changed, 25 insertions, 3 deletions

diff --git a/src/dotty/tools/dotc/transform/ExplicitOuter.scala b/src/dotty/tools/dotc/transform/ExplicitOuter.scala
index 7391f3cec..024247734 100644
--- a/src/dotty/tools/dotc/transform/ExplicitOuter.scala
+++ b/src/dotty/tools/dotc/transform/ExplicitOuter.scala
@@ -220,9 +220,14 @@ object ExplicitOuter {
       case id: Ident =>
         id.tpe match {
           case ref @ TermRef(NoPrefix, _) =>
-            ref.symbol.is(Hoistable) && isOuter(id.symbol.owner.enclosingClass)
-            // methods will be placed in enclosing class scope by LambdaLift, so they will get
-            // an outer path then.
+            if (ref.symbol is Hoistable)
+              // ref.symbol will be placed in enclosing class scope by LambdaLift, so it might need
+              // an outer path then.
+              isOuter(ref.symbol.owner.enclosingClass)
+            else
+              // ref.symbol will get a proxy in immediately enclosing class. If this properly
+              // contains the current class, it needs an outer path.
+              ctx.owner.enclosingClass.owner.enclosingClass.isContainedIn(ref.symbol.owner)
           case _ => false
         }
       case nw: New =>
diff --git a/tests/pos/i880.scala b/tests/pos/i880.scala
new file mode 100644
index 000000000..0f2b642ef
--- /dev/null
+++ b/tests/pos/i880.scala
@@ -0,0 +1,17 @@
+object Test {
+  def test = {
+    val myName: String = ""
+    new AnyRef {
+      new Exception {
+        def name = myName
+      }
+    }
+    new AnyRef {
+      new Exception {
+        new AnyRef {
+          def name = myName
+        }
+      }
+    }
+  }
+}