Remove dead code

Author: nicolasstucki

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

@@ -97,29 +97,25 @@ trait QuotesAndSplices {
  ctx.warning("Canceled quote directly inside a splice. ${ '[ XYZ ] } is equivalent to XYZ.", tree.sourcePos)
  case _ =>
  }
+
  if (ctx.mode.is(Mode.QuotedPattern) && level == 1)
- if (false && isFullyDefined(pt, ForceDegree.all)) {
- ctx.error(i"Spliced type pattern must not be fully defined. Consider using $pt directly", tree.expr.sourcePos)
- tree.withType(UnspecifiedErrorType)
- }
- else {
- def spliceOwner(ctx: Context): Symbol =
- if (ctx.mode.is(Mode.QuotedPattern)) spliceOwner(ctx.outer) else ctx.owner
- val name = tree.expr match {
- case Ident(name) => ("$" + name).toTypeName
- case expr =>
- ctx.error("expected a name binding", expr.sourcePos)
- "$error".toTypeName
- }
- val typeSymInfo = pt match
- case pt: TypeBounds => pt
- case _ => TypeBounds.empty
- val typeSym = ctx.newSymbol(spliceOwner(ctx), name, EmptyFlags, typeSymInfo, NoSymbol, tree.expr.span)
- typeSym.addAnnotation(Annotation(New(ref(defn.InternalQuoted_patternBindHoleAnnot.typeRef)).withSpan(tree.expr.span)))
- val pat = typedPattern(tree.expr, defn.QuotedTypeClass.typeRef.appliedTo(typeSym.typeRef))(
- spliceContext.retractMode(Mode.QuotedPattern).withOwner(spliceOwner(ctx)))
- pat.select(tpnme.splice)
+ def spliceOwner(ctx: Context): Symbol =
+ if (ctx.mode.is(Mode.QuotedPattern)) spliceOwner(ctx.outer) else ctx.owner
+ val name = tree.expr match {
+ case Ident(name) => ("$" + name).toTypeName
+ case expr =>
+ ctx.error("expected a name binding", expr.sourcePos)
+ "$error".toTypeName
  }
+
+ val typeSymInfo = pt match
+ case pt: TypeBounds => pt
+ case _ => TypeBounds.empty
+ val typeSym = ctx.newSymbol(spliceOwner(ctx), name, EmptyFlags, typeSymInfo, NoSymbol, tree.expr.span)
+ typeSym.addAnnotation(Annotation(New(ref(defn.InternalQuoted_patternBindHoleAnnot.typeRef)).withSpan(tree.expr.span)))
+ val pat = typedPattern(tree.expr, defn.QuotedTypeClass.typeRef.appliedTo(typeSym.typeRef))(
+ spliceContext.retractMode(Mode.QuotedPattern).withOwner(spliceOwner(ctx)))
+ pat.select(tpnme.splice)
  else
  typedSelect(untpd.Select(tree.expr, tpnme.splice), pt)(spliceContext).withSpan(tree.span)
  }