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, 3 insertions, 0 deletions

diff --git a/src/dotty/tools/dotc/transform/SymUtils.scala b/src/dotty/tools/dotc/transform/SymUtils.scala
index 181072983..97f2a9f47 100644
--- a/src/dotty/tools/dotc/transform/SymUtils.scala
+++ b/src/dotty/tools/dotc/transform/SymUtils.scala
@@ -6,6 +6,7 @@ import Types._
 import Contexts._
 import Symbols._
 import Decorators._
+import Names._
 import StdNames.nme
 import NameOps._
 import language.implicitConversions
@@ -21,4 +22,6 @@ class SymUtils(val self: Symbol) extends AnyVal {
 
   def isTypeTestOrCast(implicit ctx: Context): Boolean =
     self == defn.Any_asInstanceOf || self == defn.Any_isInstanceOf
+
+  def outerAccName(implicit ctx: Context): TermName = nme.OUTER.expandedName(self)
 }