Merge pull request #7948 from dotty-staging/add-erasedValue-neg-tests

Add erasedValue neg tests

Author: liufengyun

tests/neg-custom-args/erased/erasedValue.scala

@@ -0,0 +1,7 @@
+import scala.compiletime.erasedValue
+object Test {
+  def foo0(a: Int): Int = 3
+  def foo1(erased a: Int): Int = 3
+  foo0(erasedValue[Int]) // error
+  foo1(erasedValue[Int])
+}

tests/neg/erasedValue.scala

@@ -0,0 +1,5 @@
+import scala.compiletime.erasedValue
+object Test {
+  def foo(a: Int): Int = 3
+  foo(erasedValue[Int]) // error
+}