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

Inference: define supertype parameterization for wildcard-parameterized types

    Details

      Description

      Reduction of subtyping constraints (ArrayList<?> <: List<? super alpha>) invokes capture in javac, leading to incorrect constraints on ivars involving capture vars; these new types also foil the argument that incorporation will terminate.

      The correct behavior is unspecified: what is the parameterization of List that is a supertype of ArrayList<?>? How do we derive it?

        Attachments

          Issue Links

            Activity

              People

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

                Dates

                • Created:
                  Updated: