Fix #7040: Add regression test

Author: nicolasstucki

tests/neg/i7040.scala

@@ -0,0 +1,12 @@
+import scala.compiletime.testing.typeChecks
+import scala.compiletime.error
+
+inline def assertDoesNotCompile(inline code: String): Unit = {
+  if (typeChecks(code)) {
+    error("Type-checking succeeded unexpectedly.")
+  } else {
+  }
+}
+
+val test1 = assertDoesNotCompile("1") // error
+val test2 = assertDoesNotCompile("1.noSuchMethod")