diff --git a/tests/neg-custom-args/erased/erasedValue.scala b/tests/neg-custom-args/erased/erasedValue.scala new file mode 100644 index 000000000000..5519a04b5b15 --- /dev/null +++ b/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]) +} diff --git a/tests/neg/erasedValue.scala b/tests/neg/erasedValue.scala new file mode 100644 index 000000000000..a742675f0593 --- /dev/null +++ b/tests/neg/erasedValue.scala @@ -0,0 +1,5 @@ +import scala.compiletime.erasedValue +object Test { + def foo(a: Int): Int = 3 + foo(erasedValue[Int]) // error +}