Avoid naming issues

Author: dwijnand

compiler/src/dotty/tools/dotc/typer/Typer.scala

@@ -166,8 +166,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
    *                     a reference for `m` is searched. `null` in all other situations.
    */
   def findRef(name: Name, pt: Type, required: FlagSet, excluded: FlagSet, pos: SrcPos,
-      altImports: mutable.ListBuffer[TermRef] | Null = null)(using Context): Type = {
-    val refctx = ctx
+      altImports: mutable.ListBuffer[TermRef] | Null = null)(using refctx: Context): Type = {
     val noImports = ctx.mode.is(Mode.InPackageClauseName)
     def suppressErrors = excluded.is(ConstructorProxy)
       // when searching for references shadowed by a constructor proxy, do not report errors
@@ -211,7 +210,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
      *  @param prevCtx     The context of the previous denotation,
      *                     or else `NoContext` if nothing was found yet.
      */
-    def findRefRecur(previous: Type, prevPrec: BindingPrec, prevCtx: Context)(using Context): Type = {
+    def findRefRecur(previous: Type, prevPrec: BindingPrec, prevCtx: Context)(using recCtx: Context): Type = {
       import BindingPrec._
 
       /** Check that any previously found result from an inner context
@@ -253,7 +252,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
        *  @param prevCtx    the context in which the reference was found
        *  @param using_Context the outer context of `precCtx`
        */
-      def checkImportAlternatives(previous: Type, prevPrec: BindingPrec, prevCtx: Context)(using Context): Type =
+      def checkImportAlternatives(previous: Type, prevPrec: BindingPrec, prevCtx: Context)(using impCtx: Context): Type =
 
         def addAltImport(altImp: TermRef) =
           if !TypeComparer.isSameRef(previous, altImp)
@@ -371,7 +370,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
         !noImports &&
         (prevPrec.ordinal < prec.ordinal || prevPrec == prec && (prevCtx.scope eq ctx.scope))
 
-      @tailrec def loop(lastCtx: Context)(using Context): Type =
+      @tailrec def loop(lastCtx: Context)(using loopCtx: Context): Type =
         if (ctx.scope eq EmptyScope) previous
         else {
           var result: Type = NoType