fn hir_body(tcx: TyCtxt<'_>, def_id: DefId) -> Option<&Body<'_>>