Split promotion extension and accessLocal

scala · Nov 9, 2021 · 8f67d07 · 8f67d07
1 parent 0bafae2
commit 8f67d07
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/compiler/src/dotty/tools/dotc/transform/init/Semantic.scala b/compiler/src/dotty/tools/dotc/transform/init/Semantic.scala
@@ -766,7 +766,6 @@ object Semantic {
   end extension
 
   extension (ref: Ref)
-
     def accessLocal(tmref: TermRef, klass: ClassSymbol, source: Tree): Contextual[Result] =
       val sym = tmref.symbol
 
@@ -810,7 +809,10 @@ object Semantic {
 
           case _ => default()
         }
-    // ----- Promotion ----------------------------------------------------
+  end extension
+
+// ----- Promotion ----------------------------------------------------
+  extension (ref: Ref)
     /** Whether the object is fully assigned
      *
      *  It means all fields and outers are set. For performance, we don't check