Rename mayChange -> infoMayChange

Author: odersky

compiler/src/dotty/tools/dotc/core/DenotTransformers.scala

@@ -37,7 +37,7 @@ object DenotTransformers {
 
     def transform(ref: SingleDenotation)(using Context): SingleDenotation = {
       val sym = ref.symbol
-      if (sym.exists && !mayChange(sym)) ref
+      if (sym.exists && !infoMayChange(sym)) ref
       else {
         val info1 = transformInfo(ref.info, ref.symbol)
         if (info1 eq ref.info) ref
@@ -54,7 +54,7 @@ object DenotTransformers {
      *  unaffected by this transform, so `transformInfo` need not be run. This
      *  can save time, and more importantly, can help avoid forcing symbol completers.
      */
-    protected def mayChange(sym: Symbol)(using Context): Boolean = true
+    protected def infoMayChange(sym: Symbol)(using Context): Boolean = true
   }
 
   /** A transformer that only transforms SymDenotations.

compiler/src/dotty/tools/dotc/transform/ElimByName.scala

@@ -72,7 +72,7 @@ class ElimByName extends TransformByNameApply with InfoTransformer {
     case _ => tp
   }
 
-  override def mayChange(sym: Symbol)(using Context): Boolean = sym.isTerm && exprBecomesFunction(sym)
+  override def infoMayChange(sym: Symbol)(using Context): Boolean = sym.isTerm && exprBecomesFunction(sym)
 }
 
 object ElimByName {

compiler/src/dotty/tools/dotc/transform/ElimRepeated.scala

@@ -73,7 +73,7 @@ class ElimRepeated extends MiniPhase with InfoTransformer { thisPhase =>
       case ref1 =>
         ref1
 
-  override def mayChange(sym: Symbol)(using Context): Boolean = sym.is(Method)
+  override def infoMayChange(sym: Symbol)(using Context): Boolean = sym.is(Method)
 
   private def overridesJava(sym: Symbol)(using Context) = sym.allOverriddenSymbols.exists(_.is(JavaDefined))
 

compiler/src/dotty/tools/dotc/transform/ExplicitOuter.scala

@@ -57,7 +57,7 @@ class ExplicitOuter extends MiniPhase with InfoTransformer { thisPhase =>
       tp
   }
 
-  override def mayChange(sym: Symbol)(using Context): Boolean = sym.isClass && !sym.is(JavaDefined)
+  override def infoMayChange(sym: Symbol)(using Context): Boolean = sym.isClass && !sym.is(JavaDefined)
 
   /** First, add outer accessors if a class does not have them yet and it references an outer this.
    *  If the class has outer accessors, implement them.

compiler/src/dotty/tools/dotc/transform/FirstTransform.scala

@@ -46,7 +46,7 @@ class FirstTransform extends MiniPhase with InfoTransformer { thisPhase =>
       tp
   }
 
-  override protected def mayChange(sym: Symbol)(using Context): Boolean = sym.isClass
+  override protected def infoMayChange(sym: Symbol)(using Context): Boolean = sym.isClass
 
   override def checkPostCondition(tree: Tree)(using Context): Unit =
     tree match {