{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"arg.span(),"}]}
                    arg.span(),
                    if boolean { rustc_span::kw::True } else { rustc_span::kw::False },
                ));