New phase: outerAccessors

The new phase replaces attachOuter. It creates outer accessors where needed
but does not yet define outer parameters or pass outer arguments.

It should run before pattern matcher, so that pattern matcher can access the
outer fields of scrutinees.

1 files changed, 48 insertions, 0 deletions

diff --git a/tests/pos/explicitOuter.scala b/tests/pos/explicitOuter.scala
new file mode 100644
index 000000000..747f07e8f
--- /dev/null
+++ b/tests/pos/explicitOuter.scala
@@ -0,0 +1,48 @@
+class Outer(elem: Int, val next: Outer) {
+
+  trait InnerTrait {
+    def foo = elem
+  }
+
+  class InnerClass extends next.InnerTrait {
+    def bar = elem
+  }
+
+  class EmptyInnerClass {
+    def foo = 1 // still needs outer because it is not private
+  }
+
+  def inner = {
+    trait InnerTrait {
+      def foo = elem
+    }
+
+    class InnerClass extends next.InnerTrait {
+      def bar = elem
+    }
+
+    class EmptyInnerClass {
+      def foo = 1      // does not need outer
+    }
+
+    val ic = new InnerClass
+    println(ic.bar)
+    println(ic.foo)
+    val it = new InnerTrait {}
+    println(it.foo)
+    val ec = new EmptyInnerClass
+  }
+
+}
+
+object Test extends App {
+
+  val o = new Outer(1, new Outer(2, null))
+  val ic = new o.InnerClass
+  println(ic.bar)
+  println(ic.foo)
+  val it = new o.InnerTrait {}
+  println(it.foo)
+  val ec = new o.EmptyInnerClass
+  o.inner
+}