Also run PostTyper and Inliner from completime.typechecks

For the moment we specialize this to PostTyper and Inliner. We could
run more phases (e.g. all phases up to erasure) but that would require
a different infrastructure where we encapsulate the parsed string in
a compilation unit.

Author: odersky

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

@@ -67,7 +67,7 @@ class Inlining extends MacroTransform {
       case _ =>
     }
 
-  protected def newTransformer(using Context): Transformer = new Transformer {
+  def newTransformer(using Context): Transformer = new Transformer {
     override def transform(tree: tpd.Tree)(using Context): tpd.Tree =
       new InliningTreeMap().transform(tree)
   }

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

@@ -70,7 +70,7 @@ class PostTyper extends MacroTransform with IdentityDenotTransformer { thisPhase
 
   override def transformPhase(using Context): Phase = thisPhase.next
 
-  protected def newTransformer(using Context): Transformer =
+  def newTransformer(using Context): Transformer =
     new PostTyperTransformer
 
   val superAcc: SuperAccessors = new SuperAccessors(thisPhase)

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

@@ -25,6 +25,7 @@ import ErrorReporting.errorTree
 import dotty.tools.dotc.util.{SimpleIdentityMap, SimpleIdentitySet, EqHashMap, SourceFile, SourcePosition, SrcPos}
 import dotty.tools.dotc.parsing.Parsers.Parser
 import Nullables._
+import transform.{PostTyper, Inlining}
 
 import collection.mutable
 import reporting.trace
@@ -318,7 +319,11 @@ object Inliner {
           val parseErrors = ctx2.reporter.allErrors.toList
           res ++= parseErrors.map(e => ErrorKind.Parser -> e)
           if res.isEmpty then
-            ctx2.typer.typed(tree2)(using ctx2)
+            val tree3 = ctx2.typer.typed(tree2)(using ctx2)
+            val postTyper = ctx.base.postTyperPhase.asInstanceOf[PostTyper]
+            val tree4 = postTyper.newTransformer.transform(tree3)(using ctx2.withPhase(postTyper))
+            val inlining = ctx.base.inliningPhase.asInstanceOf[Inlining]
+            inlining.newTransformer.transform(tree4)(using ctx2.withPhase(inlining))
             val typerErrors = ctx2.reporter.allErrors.filterNot(parseErrors.contains)
             res ++= typerErrors.map(e => ErrorKind.Typer -> e)
           res.toList

tests/run-macros/i11630.scala

@@ -0,0 +1,9 @@
+inline def failme1() = compiletime.error("fail")
+transparent inline def failme2() = compiletime.error("fail")
+
+@main def Test =
+  assert(!compiletime.testing.typeChecks("failme1()"))
+  assert(!compiletime.testing.typeChecks("failme2()"))
+  assert(!compiletime.testing.typeChecks("a b c"))
+  assert(!compiletime.testing.typeChecks("true: Int"))
+