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,15 @@ 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)
-      }
+    assert(level >= 0)
+    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)
     }
   }