Merge pull request #13731 from dotty-staging/hidden-implicit-msg

Fix error message when "import given" is missing

Author: smarter

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

@@ -876,7 +876,8 @@ trait Implicits:
     def ignoredInstanceNormalImport = arg.tpe match
       case fail: SearchFailureType =>
         if (fail.expectedType eq pt) || isFullyDefined(fail.expectedType, ForceDegree.none) then
-          inferImplicit(fail.expectedType, fail.argument, arg.span) match {
+          inferImplicit(fail.expectedType, fail.argument, arg.span)(
+            using findHiddenImplicitsCtx(ctx)) match {
             case s: SearchSuccess => Some(s)
             case f: SearchFailure =>
               f.reason match {

tests/neg/hidden.check

@@ -0,0 +1,6 @@
+-- Error: tests/neg/hidden.scala:6:13 ----------------------------------------------------------------------------------
+6 |  summon[Int] // error
+  |             ^
+  |    no implicit argument of type Int was found for parameter x of method summon in object Predef
+  |
+  |    Note: given instance given_Int in object A was not considered because it was not imported with `import given`.