Skip to content
This repository was archived by the owner on Jul 18, 2025. It is now read-only.

Multiple 'extends' bound insertions can produce invalid intersection type #104

@dbrosoft

Description

@dbrosoft

See gist. Expected output of insert-annotations-to-source X.jaif X.java is shown in X.goal; actual output is shown in X.output. The new component of the type bound (Object &) should be generated only once for all annotation insertions at the indicated site, rather than once per insertion.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions