Can you get here with a name that doesn't originate from Scala source? Technically you should try to avoid decoding them. We had a bug recently where a Java class named `R$attr` broke the compiler. Maybe it's not the most important thing for MiMa.