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

XMLWordPrintable

    • Type: Bug
    • Resolution: Fixed
    • Priority: P3
    • 8
    • Affects Version/s: None
    • Component/s: specification
    • Verified

      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.

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

              Created:
              Updated:
              Resolved: