{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"path_span:"}]}
                    path_span: path.span,
                    span,
                    // intentionally converting to String, as the text would also be used as