test for 128443

1 files changed, 23 insertions, 0 deletions

diff --git a/tests/bugs152/pr128443/Bug.java b/tests/bugs152/pr128443/Bug.java
new file mode 100644
index 000000000..afc95c46f
--- /dev/null
+++ b/tests/bugs152/pr128443/Bug.java
@@ -0,0 +1,23 @@
+
+
+interface Result {}
+
+interface Factory {
+  Result getInstance();
+}
+
+class B   {}
+
+class D implements Factory {}
+
+aspect EnsureBImplementsResult {
+
+  // bug: this should work
+  declare parents: B implements Result;
+
+
+  // bug: get error here wrt invalid return type
+  public B D.getInstance() { 
+    return new B(); 
+  }
+}