Merge pull request #7290 from ashwinbhaskar/compiler_crash_fix

Fixes #6626. Pass sym.name to sanitizeName instead of sym.name.asSimpleName

Author: smarter

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

@@ -6,7 +6,7 @@ import core.Annotations.Annotation
 import core.Contexts.Context
 import core.Definitions
 import core.Flags._
-import core.Names.Name
+import core.Names.{DerivedName, Name, SimpleName, TypeName}
 import core.Symbols._
 import core.TypeApplications.TypeParamInfo
 import core.TypeErasure.erasure
@@ -17,6 +17,8 @@ import SymUtils._
 import TypeUtils._
 import java.lang.StringBuilder
 
+import scala.annotation.tailrec
+
 /** Helper object to generate generic java signatures, as defined in
  *  the Java Virtual Machine Specification, §4.3.4
  */
@@ -161,7 +163,7 @@ object GenericSignatures {
 
             // TODO revisit this. Does it align with javac for code that can be expressed in both languages?
             val delimiter = if (builder.charAt(builder.length() - 1) == '>') '.' else '$'
-            builder.append(delimiter).append(sanitizeName(sym.name.asSimpleName))
+            builder.append(delimiter).append(sanitizeName(sym.name))
           }
           else fullNameInSig(sym)
         }

tests/generic-java-signatures/derivedNames.check

@@ -0,0 +1 @@
+Test$Foo$A<Test$Foo<T1>$B$>

tests/generic-java-signatures/derivedNames.scala

@@ -0,0 +1,15 @@
+object Test {
+  def main(args: Array[String]): Unit = {
+    val objectB = classOf[Foo[Any]].getClasses
+    val returnType = objectB(1).getDeclaredMethod("m").getGenericReturnType
+    println(returnType)
+  }
+  class Foo[T1] {
+    class A[T2]
+
+    object B  {
+      def m: A[B.type] = ???
+    }
+  }
+}
+