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

4.7.20: Realize record patterns as type contexts

    XMLWordPrintable

Details

    • Enhancement
    • Resolution: Unresolved
    • P4
    • repo-amber
    • None
    • specification
    • None
    • vm

    Description

      Type patterns are LocalVariableDeclarations, and so have an appropriate encoding for their type annotations. Record patterns have no appropriate target_type. JVMS should update Tables 4.7.20-B and 4.7.20.1 to include annotations appearing on the left of `RecordPattern`s nested pattern list.

      Attachments

        Issue Links

          Activity

            People

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

              Dates

                Created:
                Updated: