check_invariants

flux_refineck::invariants

Function check_invariants 

Source 
pub fn check_invariants(
    genv: GlobalEnv<'_, '_>,
    cache: &mut FixQueryCache,
    def_id: MaybeExternId,
    invariants: &[Expr<'_>],
    adt_def: &AdtDef,
) -> Result<(), ErrorGuaranteed>