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

18.4: Avoid inferring capture variables during resolution

    XMLWordPrintable

Details

    • Bug
    • Resolution: Unresolved
    • P3
    • tbd
    • 8, 9
    • specification

    Description

      Longstanding inference behavior of javac (in releases 5-8) is to avoid upper/lower bounds that mention inference variables by, instead, mapping those variables to their bounds during reduction. This leads to various unspecified failures and has been addressed—see JDK-8033718 and JDK-8039214.

      javac's interest in avoiding capture variables is reasonable, though. Various programs that used to compile no longer will after the fix—see JDK-8075793. While we've reverted to the old behavior under "-source 7" and previous, going forward it makes sense to try to infer types that are not capture variables when possible.

      Proposed reconciliation of spec and implementation: Follow JLS on reduction. During resolution, if the lower bound that would produce the instantiation is a capture variable, try using the variable's upper bound instead; and if the upper bound that would produce the instantiation is a capture variable, try using the variable's lower bound (if any) instead. If the attempt fails, revert to the capture variable.

      A more powerful, and maybe more consistent, approach is to use upward and downward projection here, as in JDK-8016196.

      Attachments

        Issue Links

          Activity

            People

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

              Dates

                Created:
                Updated: