testcase for 153464 - commented out at the mo

1 files changed, 29 insertions, 0 deletions

diff --git a/tests/bugs153/pr153464/Bug.java b/tests/bugs153/pr153464/Bug.java
new file mode 100644
index 000000000..f6127d04d
--- /dev/null
+++ b/tests/bugs153/pr153464/Bug.java
@@ -0,0 +1,29 @@
+import java.lang.annotation.*;
+
+aspect TestAspect {
+  // works - Derived.func() omitted
+//  declare warning : execution(@Annot * *(..)) && !within(@Annot *): "hi!";
+
+  // fails - Derived.func() not omitted
+  declare warning : execution(@Annot * *(..)) && within(!@Annot *) : "within includes negated annotation";
+}
+
+
+class Base {
+  void func() { }
+}
+
+//@Annot
+class AnnotTest {
+  @Annot
+  class Derived extends Base {
+    @Annot void func() { }
+  }
+//
+ // class NoAnnotClass {
+  //  @Annot void func() { }
+  //}
+}
+
+//@Retention(RetentionPolicy.RUNTIME)
+@interface Annot { };