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

4.7.20: Realize record patterns as type contexts

XMLWordPrintable

    • Icon: Enhancement Enhancement
    • Resolution: Unresolved
    • Icon: P4 P4
    • tbd
    • None
    • specification
    • None
    • vm

      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.

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

              Created:
              Updated: