{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"has_lifetime_args:"}]}
            has_lifetime_args: false,
            has_generic_args: false,
            args_span: DUMMY_SP,