Merge pull request #6202 from dotty-staging/inline-strip

Add test case for typesafe compile-time stripMargin

Author: nicolasstucki

tests/run-with-compiler/reflect-inline/assert_1.scala

@@ -0,0 +1,18 @@
+import scala.quoted._
+import scala.tasty._
+
+object api {
+  inline def (inline x: String) strip <: String =
+    ${ stripImpl(x) }
+
+  private def stripImpl(x: String)(implicit refl: Reflection): Expr[String] =
+    x.stripMargin.toExpr
+
+  inline def typeChecks(inline x: String): Boolean =
+    ${ typeChecksImpl(x) }
+
+  private def typeChecksImpl(x: String)(implicit refl: Reflection): Expr[Boolean] = {
+    import refl._
+    if (refl.typing.typeChecks(x)) true.toExpr else false.toExpr
+  }
+}

tests/run-with-compiler/reflect-inline/test_2.scala

@@ -0,0 +1,8 @@
+import api._
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    assert(typeChecks("1 + 1".strip))
+    assert(scala.testing.typeChecks("1 + 1".strip))
+  }
+}