Use finalResultType

Author: ysthakur

compiler/src/dotty/tools/dotc/reporting/messages.scala

@@ -2748,7 +2748,7 @@ class MissingImplicitArgument(
           i"\n- ${imp.symbol.showDcl}${convs.map(c => "\n    - " + c.symbol.showDcl).mkString}"
         def noChainConversionsNote(ignoredConversions: Iterable[(TermRef, Iterable[TermRef])]): Option[String] = {
           val convsFormatted = ignoredConversions.map{ (imp, convs) =>
-            i"\n- ${imp.symbol.showDcl}${convs.map(c => "\n    - " + c.symbol.showDcl).mkString}"
+            s"\n- ${imp.symbol.showDcl}${convs.map(c => "\n    - " + c.symbol.showDcl).mkString}"
           }.mkString
           Option.when(ignoredConversions.nonEmpty)(
               i"\n\nNote: implicit conversions are not automatically applied to arguments of using clauses. " +

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

@@ -935,8 +935,17 @@ trait Implicits:
           allImplicits(ctx.implicits).map { imp =>
             // todo imp.underlyingRef.underlying does not work for implicit functions or givens
             // with type or implicit parameters
-            val convs = ctx.implicits.eligible(ViewProto(imp.underlyingRef.underlying, wildApprox(fail.expectedType)))
-            (imp.underlyingRef, convs.map(_.ref))
+            val impRef = imp.underlyingRef
+            val impResultType = wildApprox(impRef.underlying.finalResultType)
+            val convs = ctx.implicits.eligible(ViewProto(impResultType, fail.expectedType))
+              .filter { conv =>
+                if !conv.isConversion then false
+                else
+                  // Actually feed the summoned implicit into the Conversion to
+                  // check if it works
+                  true
+              }
+            (impRef, convs.map(_.ref))
           }.filter(_._2.nonEmpty)
         else
           Nil