aboutsummaryrefslogtreecommitdiffstats
path: root/tests/multiIncremental/PR119570/base/bugs/ParameterizedDP.java
diff options
context:
space:
mode:
Diffstat (limited to 'tests/multiIncremental/PR119570/base/bugs/ParameterizedDP.java')
-rw-r--r--tests/multiIncremental/PR119570/base/bugs/ParameterizedDP.java27
1 files changed, 27 insertions, 0 deletions
diff --git a/tests/multiIncremental/PR119570/base/bugs/ParameterizedDP.java b/tests/multiIncremental/PR119570/base/bugs/ParameterizedDP.java
new file mode 100644
index 000000000..e35fbd207
--- /dev/null
+++ b/tests/multiIncremental/PR119570/base/bugs/ParameterizedDP.java
@@ -0,0 +1,27 @@
+package bugs;
+
+import bugsOtherPackage.INode;
+import bugsOtherPackage.NodeImpl;
+
+public class ParameterizedDP {
+
+ public static void main(String[] args) {
+ // 1) compile-time error here without
+ // {unneeded} subaspect declare-parent
+ // Tag as INode<Tag, Tag> from PC extends NodeImpl<Tag, Tag>
+ ((TaggedTexts.Tag) null).getParent();
+ }
+
+}
+class TaggedTexts {
+
+ public static class Text { }
+
+ public static class Tag { }
+ static aspect PC extends NodeImpl<Tag, Tag> {
+ // unneeded declare-parents duplicates one in NodeImpl
+ // when here, get spurious error message
+ // when commented out, d-p fails and get compiler error at 1) above
+ declare parents : Tag implements INode<Tag,Tag>;
+ }
+} \ No newline at end of file