pub(crate) fn check_body( genv: GlobalEnv<'_, '_>, cache: &mut FixQueryCache, def_id: LocalDefId, poly_sig: &PolyFnSig, ) -> Result<(), ErrorGuaranteed>