Reproduce and fix error that affected findRef

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

@@ -333,11 +333,13 @@ object Implicits:
         def filter(xs: List[Candidate], remove: List[Candidate]) =
           val shadowed = remove.map(_.ref.implicitName).toSet
           xs.filterConserve(cand => !shadowed.contains(cand.ref.implicitName))
+
+        val outer = outerImplicits.uncheckedNN
         def isWildcardImport(using Context) = ctx.importInfo.nn.isWildcardImport
-        if (irefCtx.scope eq irefCtx.outer.scope) && (
-          isImport && !outerImplicits.nn.isImport
-          || isWildcardImport && !isWildcardImport(using outerImplicits.nn.irefCtx)
-        ) then
+        def preferDefinitions = isImport && !outer.isImport
+        def preferNamedImport = isWildcardImport && !isWildcardImport(using outer.irefCtx)
+
+        if level == outer.level && (preferDefinitions || preferNamedImport) then
           // special cases: definitions beat imports, and named imports beat
           // wildcard imports, provided both are in contexts with same scope
           filter(ownEligible, outerEligible) ::: outerEligible

tests/run/i18183.findRef.scala

@@ -0,0 +1,17 @@
+// A minimised reproduction of how an initial change to combineEligibles broke Typer#findRef
+case class Foo(n: Int)
+
+class Test:
+  import this.toString
+
+  val foo1 = Foo(1)
+  val foo2 = Foo(2)
+
+  def foo(using Foo): Foo =
+    import this.*
+    def bar(using Foo): Foo = summon[Foo]
+    bar(using foo2)
+
+object Test extends Test:
+  def main(args: Array[String]): Unit =
+    assert(foo(using foo1) eq foo2)