SI-10068 Only permit elidable methods

In refchecks, check that symbol with `@elidable` is a method.

When eliding in uncurry, doublecheck.

The check is enabled under `-Xsource:2.13`.

1 files changed, 9 insertions, 0 deletions

diff --git a/test/files/neg/t10068.scala b/test/files/neg/t10068.scala
new file mode 100644
index 0000000000..a45ee5dac4
--- /dev/null
+++ b/test/files/neg/t10068.scala
@@ -0,0 +1,9 @@
+
+import annotation._, elidable._
+
+class C {
+  @elidable(INFO) val i: Int = 42
+  @elidable(INFO) lazy val j: Int = 42
+  @elidable(INFO) var k: Int = 42
+}
+@elidable(INFO) class D