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