Should the error message be updated to `given` instead of `implicit` when the given instance of missing

[He-Pin]

Compiler version

Scala3.1.1

Minimized code

summon[Int]

Output

no implicit argument of type Int was found for parameter x of method summon in object Predef

Expectation

no given instance of type Int was found for parameter x of method summon in object Predef

As in Scala 3 we are providing an using argument which is a given instance.

[ckipp01]

Thanks for submission! I just push #14718 to address this, but it can also probably be marked as a duplicate of #7710.

[odersky]

I just merged #14718. @ckipp01 can this issue be closed now, or should we leave it open?

[ckipp01]

Yup, this one is now taken care of with the changes in #14718

scala> summon[Int]
-- Error: ----------------------------------------------------------------------
1 |summon[Int]
  |           ^
  |no given instance of type Int was found for parameter x of method summon in object Predef
1 error found