wip

Author: nicolasstucki

compiler/src/dotty/tools/dotc/typer/Typer.scala

@@ -2160,7 +2160,6 @@ class Typer extends Namer
 
   /** Translate ${ t: Type[T] }` into type `t.splice` while tracking the quotation level in the context */
   def typedTypSplice(tree: untpd.TypSplice, pt: Type)(implicit ctx: Context): Tree = track("typedTypSplice") {
-    // TODO factor out comon code with typedSplice
     ctx.compilationUnit.needsStaging = true
     checkSpliceOutsideQuote(tree)
     tree.expr match {
@@ -2178,9 +2177,9 @@ class Typer extends Namer
             val name = expr match {
               case Ident(name) => ("$" + name).toTypeName
               case Typed(Ident(name), _) => ("$" + name).toTypeName
-              case _ => "$".toTypeName
+              case Bind(name, _) => ("$" + name).toTypeName
+              case _ => NameKinds.UniqueName.fresh("$".toTypeName)
             }
-
             val typeSym = ctx.newSymbol(spliceOwner(ctx), name, EmptyFlags, TypeBounds.empty, NoSymbol, expr.span)
             typeSym.addAnnotation(Annotation(New(ref(defn.InternalQuoted_patternBindHoleAnnot.typeRef)).withSpan(expr.span)))
             val pat = typedPattern(expr, defn.QuotedTypeType.appliedTo(typeSym.typeRef))(