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

4.5.1: Provable distinctness of intersection types

    Details

      Description

      The definition of "provably distinct" type arguments does not account for intersection types. For example, if X extends Foo & Bar, is C<X> provably distinct from C<Bar>?

      There is also some vagueness about what it means to perform "capture conversion, if necessary", and confusion about what the supertypes of a wildcard-parameterized type are (see 5.5.1).

      (For context, the only meaningful impact of the "provably distinct" definition is in deciding which casts are allowed.)

        Attachments

          Issue Links

            Activity

              People

              • Assignee:
                dlsmith Dan Smith
                Reporter:
                dlsmith Dan Smith
              • Votes:
                0 Vote for this issue
                Watchers:
                2 Start watching this issue

                Dates

                • Created:
                  Updated: