tests for 156058 and 159983

1 files changed, 25 insertions, 0 deletions

diff --git a/tests/bugs153/pr156058/Bug2.java b/tests/bugs153/pr156058/Bug2.java
new file mode 100644
index 000000000..229e7850e
--- /dev/null
+++ b/tests/bugs153/pr156058/Bug2.java
@@ -0,0 +1,25 @@
+aspect MyAspect implements MyInterface<MyClass> {
+  before() : MyAspect1<MyClass>.myPointcutInInterface(){ }
+}
+
+class MyClass {}
+
+interface MyInterface<T>{
+  public abstract static aspect MyAspect1<T> {
+    public final pointcut myPointcutInInterface() : call(T *(..));
+  }
+}
+
+public class Bug2 {
+  public static void main(MyClass[]argv) {
+    new Bug2().callit();
+  }
+
+  public MyClass callit() {
+    return null;
+  }
+}
+
+aspect MyAspect2 implements MyInterface<String> {
+	before(): MyAspect1<String>.myPointcutInInterface() {} // shouldn't match...  since the return type of callit is MyClass
+}
\ No newline at end of file