4.7.20: Realize record patterns as type contexts

XMLWordPrintable

    • Type: Enhancement
    • Resolution: Unresolved
    • Priority: P4
    • tbd
    • Affects Version/s: None
    • Component/s: 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.

            Assignee:
            Dan Smith
            Reporter:
            Angelos Bimpoudis
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated: