normal parameters after givens

[robstoll]

Link to the knowledge: https://dotty.epfl.ch/docs/reference/contextual/motivation.html

More information: in the doc:

Given clauses [...] allow us to have several implicit parameter sections, and to have implicit parameters followed by normal ones.

however defining:

 def f given (u: Int) given (x: String) (a:Int)= ???

gives the following error (on scastie)

normal parameters cannot come after given clauses

I open this issue as I am not sure which source is correct