{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"),"}]}
            ),
                &record_field.parent_record_pat(),
            ..pattern_context_for(sema, original_file, record_field.parent_record_pat().into())