flux_refineck

Function check_fn

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