Misleading error message when forgetting `using` in explicitly given context argument

Compiler version

Welcome to Scala 3.1.3 (17.0.3, Java OpenJDK 64-Bit Server VM).
Type in expressions for evaluation. Or try :help.

Minimized code and output

scala> def f(using i: Int) = i + 1
def f(using i: Int): Int

scala> f(41)
-- Error: -----------------------------------------------
1 |f(41)
  | ^
  | no given instance of type Int was found for parameter i of method f
1 error found

Expectation

It is true that there is no given instance above, but the call is still erroneous and the error message does not help if the user just forgot an explicit using before the explicit argument. Even if a given is missing, something similar to this error should (also) be shown :

scala> f(41)
-- [E050] Type Error: ---------------------------------------
  |^
  |method f does not take more parameters
  |
  | longer explanation available when compiling with `-explain`
1 error found

but it would be more helpful if a hint that “you may have forgotten using” also is given.

[som-snytt]

I’ll take a quick look; it’s probably an easy tweak; I just added benign using to Scala 2 and was contemplating misusages. Lukas said what about f(using using).

[bjornregnell]

If we do want to suggest a missing using, we should make sure that the next argument list would be legal, in what concerns both the number of parameters and their types.

I do think that if the user has forgotten using but meant to call it with an explicit argument then the current error message could be more helpful. If it is possible to make the hint in only those cases were it is a valid rewrite to add using then I think it is worthwhile to give the hint that it may be missing.