test and fixes for 143930, 143924

1 files changed, 13 insertions, 0 deletions

diff --git a/tests/bugs152/pr143924.aj b/tests/bugs152/pr143924.aj
new file mode 100644
index 000000000..7ea1e8d24
--- /dev/null
+++ b/tests/bugs152/pr143924.aj
@@ -0,0 +1,13 @@
+aspect DeclareAnnotation {
+    declare @method : * debit(..) : @Secured(role="supervisor");
+}
+
+class BankAccount {
+
+    public void debit(String accId,long amount) {
+    }
+}
+
+@interface Secured {
+    String role();
+}