{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"tcx.sess.source_map().span_to_embeddable_string(annotation.span),"}]}
            tcx.sess.source_map().span_to_embeddable_string(annotation.span),
            annotation.user_ty,
            with_no_trimmed_paths!(format!("{}", annotation.inferred_ty)),