More lenient checking of name mismatches in ClassfileParser

Author: odersky

compiler/src/dotty/tools/dotc/core/classfile/ClassfileParser.scala

@@ -92,7 +92,9 @@ class ClassfileParser(
     val nameIdx      = in.nextChar
     currentClassName = pool.getClassName(nameIdx)
 
-    if (currentIsTopLevel && currentClassName != classRoot.fullName.toSimpleName)
+    if (currentIsTopLevel &&
+        currentClassName != classRoot.fullName.toSimpleName &&
+        currentClassName != classRoot.fullName.encode.toSimpleName)
       mismatchError(currentClassName)
 
     addEnclosingTParams()

compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala

@@ -206,9 +206,7 @@ class PlainPrinter(_ctx: Context) extends Printer {
   protected def TypeParamRefNameString(param: TypeParamRef): String =
     TypeParamRefNameString(param.binder.paramNames(param.paramNum))
 
-  /** The name of the symbol without a unique id. Under refined printing,
-   *  the decoded original name.
-   */
+  /** The name of the symbol without a unique id. */
   protected def simpleNameString(sym: Symbol): String = nameString(sym.name)
 
   /** If -uniqid is set, the hashcode of the lambda type, after a # */