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

18.4: Avoid inferring capture variables during resolution

    Details

      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

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

                Dates

                • Created:
                  Updated: