diff --git a/tests/neg-custom-args/no-experimental/experimental-erased.scala b/tests/neg-custom-args/no-experimental/experimental-erased.scala new file mode 100644 index 000000000000..91f84ba3f85f --- /dev/null +++ b/tests/neg-custom-args/no-experimental/experimental-erased.scala @@ -0,0 +1,7 @@ +import language.experimental.erasedDefinitions // error +import annotation.experimental + +@experimental +erased class CanThrow[-E <: Exception] + +def other = 1 diff --git a/tests/pos/experimental-erased-2.scala b/tests/pos/experimental-erased-2.scala new file mode 100644 index 000000000000..f3b524e18463 --- /dev/null +++ b/tests/pos/experimental-erased-2.scala @@ -0,0 +1,8 @@ +import language.experimental.erasedDefinitions +import annotation.experimental + +@experimental object Test: + + erased class CanThrow[-E <: Exception] + + def other = 1 diff --git a/tests/pos/experimental-erased.scala b/tests/pos/experimental-erased.scala new file mode 100644 index 000000000000..156ad639f42d --- /dev/null +++ b/tests/pos/experimental-erased.scala @@ -0,0 +1,11 @@ +import language.experimental.erasedDefinitions +import annotation.experimental + +@experimental +erased class CanThrow[-E <: Exception](val i: Int = 0) + +@experimental +object Foo + +@experimental +def bar = 1