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

Fix error message when "import given" is missing
scala · Oct 13, 2021 · a62acc8 · a62acc8
2 parents 1ed25ce + ad5a363
commit a62acc8
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/typer/Implicits.scala b/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 {

diff --git a/tests/neg/hidden.check b/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`.