Do only a "typedUnadapted" when computing shadowing refs

Since the type does not matter, we don't need to adapt it.

Author: odersky

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

@@ -927,7 +927,7 @@ trait Implicits { self: Typer =>
       val generated1 = adapt(generated, pt, locked)
 
       lazy val shadowing =
-        typed(untpd.Ident(cand.implicitRef.implicitName) withPos pos.toSynthetic)(
+        typedUnadapted(untpd.Ident(cand.implicitRef.implicitName) withPos pos.toSynthetic)(
           nestedContext().addMode(Mode.ImplicitShadowing).setExploreTyperState())
 
       /** Is candidate reference the same as the `shadowing` reference? (i.e.

tests/run/i5224.check

@@ -0,0 +1,2 @@
+barInt
+bar

tests/run/i5224.scala

@@ -0,0 +1,20 @@
+object Test extends App {
+  class Bar[T]
+
+  implicit def barInt: Bar[Int] = {
+    println("barInt")
+    new Bar[Int]
+  }
+  implicit def bar[T]: Bar[T] = {
+    println("bar")
+    new Bar[T]
+  }
+
+  implicitly[Bar[Int]]
+
+  locally {
+    def barInt: Unit = ???
+
+    implicitly[Bar[Int]]
+  }
+}