{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"navigation_range:"}]}
                    navigation_range: pat.syntax().text_range(),
                    label,
                    node_range: it.syntax().text_range(),