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

XMLWordPrintable

    • Verified

      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".

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

              Created:
              Updated:
              Resolved: