Error message for using/given resolution failure

[vincenzobaz]

Although new keywords have been introduced to replace implicit, the compiler still uses this term when it fails to find a given instance for a using paramenter.

Compiler Version

3.0.2

Minimized Code

def x(using y: Int): Int = y

trait A
given loop(using a: A): A = a

@main def main() = {
  x
  summon[A]
}

Output

-- Error: i9874.scala:7:3 --------------------------------------------
7 |  x
  |   ^
  |   no implicit argument of type Int was found for parameter y of method x
-- Error: i9874.scala:8:11 -------------------------------------------
8 |  summon[A]
  |           ^
  |no implicit argument of type A was found for parameter x of method summon in object Predef.
  |I found:
  |
  |    loop(/* missing */summon[A])
  |
  |But given instance loop produces a diverging implicit search when trying to match type A.
2 errors found

Expectation

I suggest to use the new terminology, for example:

no given instance of type Int was found for context parameter y of method x
no given instance of type A was found for context parameter x of method summon

[som-snytt]

Duplicates #7710 where a comment mentions "cohesion enhancements".

[bishabosha]

This one is a duplicate, but the proposed correction looks good, which i link as a suggestion in the other issue