Update message to be more generic

Author: ysthakur

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

@@ -2745,10 +2745,10 @@ class MissingImplicitArgument(
         def hiddenImplicitNote(s: SearchSuccess) =
           i"\n\nNote: ${s.ref.symbol.showLocated} was not considered because it was not imported with `import given`."
         def noChainConversionsNote(ignoredConversions: Iterable[TermRef]): Option[String] =
-          Option.when(s.nonEmpty)(
-              i"\n\nNote: Chaining implicit conversions are not allowed in Scala. " +
-              i"The following conversions are in scope:${s.map(g => s"\n  - ${g.symbol.showDcl}").mkString}" +
-              i"\nIf there is an implicit `Conversion[A, ${pt.show}]` and an implicit `A` in scope, you can explicitly pass the argument, e.g. `(using summon[A])`"
+          Option.when(ignoredConversions.nonEmpty)(
+              i"\n\nNote: implicit conversions are not automatically applied to implicit arguments. " +
+              i"You will have to pass the argument explicitly.\n" +
+              i"The following conversions in scope result in ${pt.show}: ${ignoredConversions.map(g => s"\n  - ${g.symbol.showDcl}").mkString}"
           )
         super.msgPostscript
         ++ ignoredInstanceNormalImport.map(hiddenImplicitNote)

tests/neg/i16453.check

@@ -3,16 +3,16 @@
    |                     ^
    |No given instance of type Option[Int] was found for parameter x of method summon in object Predef
    |
-   |Note: Chaining implicit conversions are not allowed in Scala. The following conversions are in scope:
+   |Note: implicit conversions are not automatically applied to implicit arguments. You will have to pass the argument explicitly.
+   |The following conversions in scope result in Option[Int]: 
    |  - final given def given_Conversion_T_Option[T]: Conversion[T, Option[T]]
    |  - implicit def toOption[T](t: T): Option[T]
-   |If there is an implicit `Conversion[A, Option[Int]]` and an implicit `A` in scope, you can explicitly pass the argument, e.g. `(using summon[A])`
 -- [E172] Type Error: tests/neg/i16453.scala:15:25 ---------------------------------------------------------------------
 15 |  implicitly[Option[Int]] // error
    |                         ^
    |No given instance of type Option[Int] was found for parameter e of method implicitly in object Predef
    |
-   |Note: Chaining implicit conversions are not allowed in Scala. The following conversions are in scope:
+   |Note: implicit conversions are not automatically applied to implicit arguments. You will have to pass the argument explicitly.
+   |The following conversions in scope result in Option[Int]: 
    |  - final given def given_Conversion_T_Option[T]: Conversion[T, Option[T]]
    |  - implicit def toOption[T](t: T): Option[T]
-   |If there is an implicit `Conversion[A, Option[Int]]` and an implicit `A` in scope, you can explicitly pass the argument, e.g. `(using summon[A])`