Symbol encoding should be done late

[odersky]

Right now, + is encoded to $plus in phase Namer. We agreed it should be done during bytecode generation instead.

[xeno-by]

Would then ClassfileReader have to undo name mangling?

[sjrd]

Yes, it would.

[xeno-by]

Great news!

[smarter]

Is it time to revisit this yet?

[smarter]

See also https://issues.scala-lang.org/browse/SI-2034 which affects Dotty as well.

[nicolasstucki]

This issue was solved with #2128.