Add regression test

Author: nicolasstucki

compiler/test/dotc/run-test-pickling.blacklist

@@ -22,6 +22,7 @@ tuple-zip.scala
 tuples1.scala
 tuples1a.scala
 tuples1b.scala
+typeCheckErrors.scala
 typeclass-derivation-doc-example.scala
 typeclass-derivation1.scala
 typeclass-derivation2.scala

tests/run/typeCheckErrors.check

@@ -0,0 +1 @@
+List(Error(value check is not a member of Unit,compileError("1" * 2).check(""),22,Typer), Error(argument to compileError must be a statically known String,compileError("1" * 2).check(""),13,Typer))

tests/run/typeCheckErrors.scala

@@ -0,0 +1,8 @@
+import scala.compiletime.testing._
+
+transparent inline def compileError(inline expr: String): Unit =
+  println(typeCheckErrors(expr))
+
+@main def Test = compileError(
+  """compileError("1" * 2).check("")"""
+)