{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"path.ident.span,"}]}
            path.ident.span,
        path_span.push_span_label(
            with_no_trimmed_paths!(format!(