Remove unnecessary warining

All splices at level -1 or lower are now caught by typer

Author: nicolasstucki

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

@@ -54,19 +54,14 @@ class PCPCheckAndHeal(@constructorOnly ictx: Context) extends TreeMapWithStages(
    *  - If inside of a macro definition, check the validity of the macro.
    */
   protected def transformSplice(body: Tree, splice: Tree)(implicit ctx: Context): Tree = {
-    if (level < 0) {
-      ctx.error(s"Splice at level $level is not allowed", splice.sourcePos)
-      splice
-    } else {
-      val body1 = transform(body)(spliceContext)
-      splice match {
-        case Apply(fun: TypeApply, _) if splice.isTerm =>
-          // Type of the splice itsel must also be healed
-          // internal.Quoted.expr[F[T]](... T ...)  -->  internal.Quoted.expr[F[$t]](... T ...)
-          val tp = checkType(splice.sourcePos).apply(splice.tpe.widenTermRefExpr)
-          cpy.Apply(splice)(cpy.TypeApply(fun)(fun.fun, tpd.TypeTree(tp) :: Nil), body1 :: Nil)
-        case splice: Select => cpy.Select(splice)(body1, splice.name)
-      }
+    val body1 = transform(body)(spliceContext)
+    splice match {
+      case Apply(fun: TypeApply, _) if splice.isTerm =>
+        // Type of the splice itsel must also be healed
+        // internal.Quoted.expr[F[T]](... T ...)  -->  internal.Quoted.expr[F[$t]](... T ...)
+        val tp = checkType(splice.sourcePos).apply(splice.tpe.widenTermRefExpr)
+        cpy.Apply(splice)(cpy.TypeApply(fun)(fun.fun, tpd.TypeTree(tp) :: Nil), body1 :: Nil)
+      case splice: Select => cpy.Select(splice)(body1, splice.name)
     }
   }
 

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

@@ -2263,7 +2263,7 @@ class Typer extends Namer
       ctx.error("Splice ${...} outside quotes '{...} or inline method", tree.sourcePos)
     else if (level < 0)
       ctx.error(
-        """Splice ${...} at level -1.
+        s"""Splice $${...} at level $level.
           |
           |Inline method may contain a splice at level 0 but the contents of this splice cannot have a splice.
           |""".stripMargin, tree.sourcePos