Better fix: Exclude in DottyBackendInterface

Author: odersky

compiler/src/dotty/tools/backend/jvm/DottyBackendInterface.scala

@@ -535,8 +535,10 @@ class DottyBackendInterface(outputDirectory: AbstractFile, val superCallsMap: Ma
 
   private def getGenericSignature(sym: Symbol, owner: Symbol, memberTpe: Type)(implicit ctx: Context): Option[String] =
     if (needsGenericSignature(sym)) {
-      val erasedTypeSym = sym.denot.info.typeSymbol
+      val erasedTypeSym = TypeErasure.fullErasure(sym.denot.info).typeSymbol
       if (erasedTypeSym.isPrimitiveValueClass) {
+        // Suppress signatures for symbols whose types erase in the end to primitive
+        // value types. This is needed to fix #7416.
         None
       } else {
         val jsOpt = GenericSignatures.javaSig(sym, memberTpe)

compiler/src/dotty/tools/dotc/transform/GenericSignatures.scala

@@ -9,14 +9,13 @@ import core.Flags._
 import core.Names.{DerivedName, Name, SimpleName, TypeName}
 import core.Symbols._
 import core.TypeApplications.TypeParamInfo
-import core.TypeErasure.{erasure, fullErasure}
+import core.TypeErasure.erasure
 import core.Types._
 import core.classfile.ClassfileConstants
 import ast.Trees._
 import SymUtils._
 import TypeUtils._
 import java.lang.StringBuilder
-import core.Decorators._
 
 import scala.annotation.tailrec
 
@@ -34,12 +33,7 @@ object GenericSignatures {
    */
   def javaSig(sym0: Symbol, info: Type)(implicit ctx: Context): Option[String] =
     // Avoid generating a signature for local symbols.
-    // Also suppress signatures for private symbols whose types erase in the end to primitive
-    // value types. This is done to fix #7416. Since I do not know GenericSignatures well,
-    // I did a minimal fix that lets #7416 pass. Maybe it can be generalized
-    if sym0.isLocal
-       || sym0.is(Private) && fullErasure(info).isPrimitiveValueType
-    then None
+    if (sym0.isLocal) None
     else javaSig0(sym0, info)(ctx.withPhase(ctx.erasurePhase))
 
   @noinline