Keep qualifier of Ident when selecting setter

We already keep the qualifier as a typed splice if the prefix is an
explicit Select.

Fixes #18713

Author: nicolasstucki

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

@@ -1119,7 +1119,11 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
           case Apply(fn, _) if fn.symbol.is(ExtensionMethod) =>
             def toSetter(fn: Tree): untpd.Tree = fn match
               case fn @ Ident(name: TermName) =>
-                untpd.cpy.Ident(fn)(name.setterName)
+                fn.tpe match
+                  case TermRef(qual: TermRef, _) =>
+                    toSetter(ref(qual).select(fn.symbol).withSpan(fn.span))
+                  case _ =>
+                    untpd.cpy.Ident(fn)(name.setterName)
               case fn @ Select(qual, name: TermName) =>
                 untpd.cpy.Select(fn)(untpd.TypedSplice(qual), name.setterName)
               case fn @ TypeApply(fn1, targs) =>

tests/pos/i18713.scala

@@ -0,0 +1,18 @@
+import language.experimental.relaxedExtensionImports
+
+class A
+object AA:
+  extension (a: A)
+    def f = ???
+    def f_=(x: String) = ???
+
+object BB:
+  extension (b: Long)
+    def f = ???
+    def f_=(x: String) = ???
+
+def test(a: A) =
+  import AA.*
+  import BB.*
+  a.f
+  a.f = "aa"