test for 123553

1 files changed, 19 insertions, 0 deletions

diff --git a/tests/bugs151/pr123553/A.java b/tests/bugs151/pr123553/A.java
new file mode 100644
index 000000000..fae646ba0
--- /dev/null
+++ b/tests/bugs151/pr123553/A.java
@@ -0,0 +1,19 @@
+
+public class A {
+    static Object s;
+    public static void main(String[] args) {
+        String t = "Hello, World!";
+        t.toString();
+        if (s != t) throw new Error();
+    }
+    static abstract aspect GenericAspect<T> {
+        abstract pointcut checkpoint(T t);
+
+        // advice declaration causes error
+        after(T t): checkpoint(t) { s = t;}
+    }
+    static aspect AAA extends GenericAspect<String>{
+        pointcut checkpoint(String s) : target(s) && 
+            call(String String.toString());
+    }  
+}