## Compiler version 3.0.0-RC1 ## Minimized code ```Scala inline def failme() = compiletime.error("fail") @main def run() = { assert(!compiletime.testing.typeChecks("failme()")) } ``` ## Output The assertion fails at runtime, since `typeChecks` returns `true`. ## Expectation `typeChecks` should return `false` ## Note Under M3, the above code works as expected.