Question: desugaring of named context bounds

[Florian3k]

Currently some tools in the ecosystem (certainly Scaladoc, possibly some others) rely on the fact that context bounds desugared to implicit/using parameters have names starting with evidence$.
Scaladoc detects such parameters and displays them as context bounds:
def foo[T]()(using evidence$1 : Bound[T]) -> def foo[T : Bound]()

With context bound desugared to names not starting with evidence$ this heuristic no longer works.
This has already became a problem after #22019 (also see #22069), but will be more serious one after modularity stops being experimental.

So my question is: Can we have some additional information attached to parameters that are created from desugaring context bounds?

This could be some kind of flag attached to ValDefs (maybe something like artifact/synthetic? not really sure here), or maybe some annotation, eg (using namedContextBound: Bound[T] : @contextBoundEvidence).

[tgodzik]

Looks like no has any idea to make work without changes to tasty, so maybe that's the way to go forward.