Extension cannot have unnamed implicit parameters in both leading and following using sections

[prolativ]

Minimized code

trait Bar
trait Baz
extension (using Bar)(s: String)(using Baz) def foo = ???

Output

extension (using Bar)(s: String)(using Baz) def foo = ???
                                       ^^^
                                       x$1 is already defined as value x$1

Expectation

This should compile and an unconflicting name should be generated for the parameter of type Baz