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

Lambda Spec: Clarify where unchecked conversions occur during inference

    Details

    • Subcomponent:
    • Verification:
      Verified

      Description

      The following "to do" item is leftover in the 0.7.0 spec, 18.5.2:

      "To do: we need to figure out how this interacts with unchecked warnings and the resulting erasure of the invocation type (15.12.2.6)."

      The answer is straightforward: we just need to clarify that the "unchecked reduction" allowed by 18.2.2 counts as an unchecked conversion.

        Attachments

          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: