Merge pull request #6903 from dotty-staging/fix-given-encoding

Fix #6902: Avoid illegal characters for generated given names

Author: odersky

compiler/src/dotty/tools/dotc/ast/Desugar.scala

@@ -895,7 +895,7 @@ object desugar {
    */
   def normalizeName(mdef: MemberDef, impl: Tree)(implicit ctx: Context): Name = {
     var name = mdef.name
-    if (name.isEmpty) name = name.likeSpaced(s"${inventName(impl)}_given".toTermName)
+    if (name.isEmpty) name = name.likeSpaced(avoidIllegalChars(s"${inventName(impl)}_given".toTermName.asSimpleName))
     if (ctx.owner == defn.ScalaPackageClass && defn.reservedScalaClassNames.contains(name.toTypeName)) {
       def kind = if (name.isTypeName) "class" else "object"
       ctx.error(em"illegal redefinition of standard $kind $name", mdef.sourcePos)

tests/run/i6902.scala

@@ -0,0 +1,9 @@
+object Test {
+  given [A] { def (a: A) <<< : A = a }
+  given { def (b: Int) <<<< : Int = b }
+
+  def main(args: Array[String]): Unit = {
+    1.<<<
+    1.<<<<
+  }
+}