diff options
Diffstat (limited to 'tests/multiIncremental/PR119570/base/bugs/ParameterizedDP.java')
-rw-r--r-- | tests/multiIncremental/PR119570/base/bugs/ParameterizedDP.java | 27 |
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 |