Allowing double definitions through name mangling

Language Design
2

See a related discussion starting here: Principles for Implicits in Scala 3

One concept is to use @alpha for this purpose. There is an open issue on the dotty tracker:

2 Likes