{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":".span_to_snippet(hir_ty.span)"}]}
                    .span_to_snippet(hir_ty.span)
                    .source_map()
                    .map_or_else(|_| String::new(), |s| format!(" `{s}`"));