Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-6644562

4.9: Simplify membership of single-bound intersection types

    Details

    • Subcomponent:
    • Understanding:
      Fix Understood

      Description

      As part of the JLS fix for allowing array types as bounds, 6557960 improves the definition of members of an intersection type. In addition, JLS 4.4 can define membership of a single bound rather simply, without intersection types:

        ***The members of a type variable X with bound T are the non-private members of T.***
        // If T is a type variable, we'd better not have a supertype chain including X!

        The members of a type variable X with bound T & I1..In are the members of the intersection type T & I1..In ...
        // As in 3ed

        Attachments

          Issue Links

            Activity

              People

              • Assignee:
                Unassigned
                Reporter:
                abuckley Alex Buckley
              • Votes:
                0 Vote for this issue
                Watchers:
                2 Start watching this issue

                Dates

                • Created:
                  Updated:
                  Imported:
                  Indexed: