transformInfo -> transformNonSymInfo

Author: odersky

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

@@ -61,13 +61,13 @@ object DenotTransformers {
   trait SymTransformer extends DenotTransformer {
 
   	/** Tramsform the info of a denotation that is not a Symdenotation */
-    def transformInfo(tp: Type, sym: Symbol)(implicit ctx: Context): Type = tp
+    def transformNonSymInfo(tp: Type, sym: Symbol)(implicit ctx: Context): Type = tp
 
     def transformSym(sym: SymDenotation)(implicit ctx: Context): SymDenotation
 
     def transform(ref: SingleDenotation)(implicit ctx: Context): SingleDenotation = ref match {
       case ref: SymDenotation => transformSym(ref)
-      case _ => ref.derivedSingleDenotation(ref.symbol, transformInfo(ref.info, ref.symbol))
+      case _ => ref.derivedSingleDenotation(ref.symbol, transformNonSymInfo(ref.info, ref.symbol))
     }
   }
 

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

@@ -27,7 +27,7 @@ class ElimOpaque extends MiniPhase with SymTransformer {
   // base types of opaque aliases change
   override def changesBaseTypes = true
 
-  override def transformInfo(tp: Type, sym: Symbol)(implicit ctx: Context): Type =
+  override def transformNonSymInfo(tp: Type, sym: Symbol)(implicit ctx: Context): Type =
     if (sym.isOpaqueHelper) TypeAlias(tp.extractOpaqueAlias) else tp
 
   def transformSym(sym: SymDenotation)(implicit ctx: Context): SymDenotation =