Some modifications to @elidable: for reasons lo...

Some modifications to @elidable: for reasons lost to me now it had a
default value such that annotated methods might be elided even if the
option wasn't given. It now does nothing in that situation. Closes
#4051, #4151, no review.

1 files changed, 22 insertions, 0 deletions

diff --git a/test/files/run/elidable-noflags.scala b/test/files/run/elidable-noflags.scala
new file mode 100644
index 0000000000..1b9c5118bb
--- /dev/null
+++ b/test/files/run/elidable-noflags.scala
@@ -0,0 +1,22 @@
+import annotation._
+import elidable._
+
+object Test {
+  @elidable(FINEST) def f1() = println("Good for me, I was not elided.")
+  @elidable(INFO) def f2()   = println("Good for me, I was not elided.")
+  @elidable(SEVERE) def f3() = println("Good for me, I was not elided.")
+  @elidable(INFO) def f4()   = println("Good for me, I was not elided.")
+  @elidable(100000) def f5() = println("Good for me, I was not elided.")
+  @elidable(OFF) def f6() = println("Good for me, I was not elided.")
+  @elidable(ALL) def f7() = println("ESPECIALLY good for me, I was not elided.")
+
+  def main(args: Array[String]): Unit = {
+    f1()
+    f2()
+    f3()
+    f4()
+    f5()
+    f6()
+    f7()
+  }
+}