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

Lambda Spec: Reduction for Foo<?> = Foo<? extends alpha>

    Details

    • Subcomponent:
    • Verification:
      Verified

      Description

      An unbound wildcard "?" is equivalent to "? extends Object" (see JDK-6480391). Thus, an equality constraint can be reduced by treating "?" as if it were "? extends Object". It should even be possible to reduce "Foo<?> = Foo<? extends alpha>" to "alpha = Object".

        Attachments

          Issue Links

            Activity

              People

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

                Dates

                • Created:
                  Updated:
                  Resolved: