{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"arg:"}]}
                        arg: idx + 1,
                        span: term.source_info.span,
                        intrinsic: name.to_string(),