Use top level definitions

Author: nicolasstucki

library/src-bootstrapped/scala/test/package.scala

@@ -0,0 +1,12 @@
+package scala.test
+
+import scala.quoted._
+import scala.tasty.Reflection
+
+inline def typeChecks(inline code: String): Boolean = ${ typeChecksImpl(code) }
+
+private def typeChecksImpl(code: String)(implicit reflect: Reflection): Expr[Boolean] = {
+  import reflect._
+  typing.typeChecks(code).toExpr
+}
+