Disallow {...} arguments for annotations

This mimics scalac's behavior (but not the official syntax; in fact the
official syntax seems to be ambiguous.

1 files changed, 13 insertions, 0 deletions

diff --git a/tests/pos/annot.scala b/tests/pos/annot.scala
index c3a17ff1d..106057258 100644
--- a/tests/pos/annot.scala
+++ b/tests/pos/annot.scala
@@ -1,7 +1,10 @@
 import java.beans.Transient
+import annotation.unchecked.uncheckedVariance
 
 class Test {
 
+// testing combinations of annotation syntax
+
   @SuppressWarnings(Array("hi")) def foo() = ??? // evalutation of annotation on type cannot be deferred as requires implicit resolution(only generic Array$.apply applies here)
 
   @SuppressWarnings(Array("hi", "foo")) def foo2() = ??? //can be deferred as there is a non-generic method
@@ -11,5 +14,15 @@ class Test {
   @Transient(false) def bar = ???
 
   @Transient() def baz = ???
+
+// testing annotations in types
+
+  class A
+  trait B
+
+  val x: A @uncheckedVariance with B @uncheckedVariance = ???
+
+  //class C extends A @uncheckedVariance () with B @uncheckedVariance { val x = 10 }
+
 }