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

Lambda Spec: Make varargs access checking a post-compatibility test

    XMLWordPrintable

Details

    • Bug
    • Resolution: Fixed
    • P3
    • 8
    • None
    • specification
    • Verified

    Description

      A varargs method is applicable only if the element type is accessible at the call site. If the element type is an inference variable (alpha[]), inference is left to figure out which choice for alpha will be accessible. So, in order to support inference, the access check should happen after inference is done.

      Attachments

        Issue Links

          relates to

          Bug - A problem which impairs or prevents the functions of the product. JDK-8036953 Fix timing of varargs access check, per JDK-8016205

          • P3 - Major loss of function.
          • Closed

          Bug - A problem which impairs or prevents the functions of the product. JDK-7013170 varargs: accessibility check missing from JLS 15.12.{2,4}

          • P4 - Minor loss of function, or other problem where easy workaround is present.
          • Closed

          Activity

            People

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

              Dates

                Created:
                Updated:
                Resolved: