Some further polishings

Author: odersky

compiler/src/dotty/tools/dotc/core/NameKinds.scala

@@ -203,7 +203,7 @@ object NameKinds {
     override def definesNewName = true
 
     def mkString(underlying: TermName, info: ThisInfo) = {
-      val safePrefix = str.sanitize(underlying.toString + separator)
+      val safePrefix = str.sanitize(underlying.toString) + separator
       safePrefix + info.num
     }
 

compiler/src/dotty/tools/dotc/util/FreshNameCreator.scala

@@ -22,10 +22,9 @@ object FreshNameCreator {
      * call to this function (provided the prefix does not end in a digit).
      */
     def newName(prefix: TermName, unique: UniqueNameKind): TermName = {
-      val key = str.sanitize(prefix.toString + unique.separator)
+      val key = str.sanitize(prefix.toString) + unique.separator
       counters(key) += 1
-      val counter = counters(key)
-      prefix.derived(unique.NumberedInfo(counter))
+      prefix.derived(unique.NumberedInfo(counters(key)))
     }
   }
 }