{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"tcx.hir_body(body_id).value.span,"}]}
                        tcx.hir_body(body_id).value.span,
                    with_forced_trimmed_paths!(err.span_note(
                        format!("however, the inferred type `{ty}` cannot be named"),