From 53541c8f2aa632f3deab8f2d3e0dca1db7417dae Mon Sep 17 00:00:00 2001
From: Nicolas Stucki <nicolas.stucki@gmail.com>
Date: Thu, 9 Jan 2020 16:56:45 +0100
Subject: [PATCH] Add erasedValue neg tests

Make sure it cannot be used
---
 tests/neg-custom-args/erased/erasedValue.scala | 7 +++++++
 tests/neg/erasedValue.scala                    | 5 +++++
 2 files changed, 12 insertions(+)
 create mode 100644 tests/neg-custom-args/erased/erasedValue.scala
 create mode 100644 tests/neg/erasedValue.scala

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
+}