Various compiler error messages still mention "implicit"

[hseeberger]

Compiler Version

3.0.2

Minimised Code

trait Foo

def foo()(using Foo) = println("foo")

def test = foo()

Output

-- Error: i7710.scala:5:16 -------------------------------------------
5 |def test = foo()
  |                ^
  |no implicit argument of type Foo was found for parameter x$1 of method foo
1 error found

Expectation

Shouldn't the message mention "given"?

[bishabosha]

While the keyword has changed, the current terminology is still implicit parameter within a given clause, as seen in http://dotty.epfl.ch/docs/reference/contextual/given-clauses.html. But various sorts of cohesion enhancements should take place in errors

[bishabosha]

we should use the suggestion given in this comment #9874 (comment)

[julienrf]

What is the conclusion here about the jargon we should use? Do we still use “implicit parameters”? Or do we now use “context parameters”?