Misleading error message when trying to mix normal parameters and context parameters in the same parameter list

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(i: Int, using j: Int) = i + j
-- [E040] Syntax Error: ------------------------------------------
1 |def f(i: Int, using j: Int) = i + j
  |                    ^
  |                    ':' expected, but identifier found

Expectation

The compiler should point to the keyword using and explain that mixing normal and context parameters is not allowed.

[som-snytt]

I tried a generic message

-- [E040] Syntax Error: tests/neg/i15614.scala:2:20 --------------------------------------------------------------------
2 |def f(i: Int, using j: Int) = i + j   // error // error
  |                    ^
  |                    ':' expected, but identifier found.
  |                    The soft token `using` was taken as an identifier in this context.
  |---------------------------------------------------------------------------------------------------------------------
  | Explanation (enabled by `-explain`)
  |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  | The soft token `using` has special meaning only in certain contexts.
   ---------------------------------------------------------------------------------------------------------------------

I’ll propose REPL rewrites soon as an experiment; perhaps it will automatically rewrite under -rewrite and otherwise just emit that there was a rewrite and stash on top of the history, so up-arrow fetches it. As with “helpful” help messages, it’s a fine line between being a chatty friend and the friend people ignore.

[rochala]

In my opinion that’s a linter responsibility. Anyway this error has to change because as you stated, this is unhelpful to the end user.