Function flux_refineck::invariants::check_invariants

source ยท 
pub fn check_invariants(
    genv: GlobalEnv<'_, '_>,
    cache: &mut QueryCache,
    def_id: MaybeExternId,
    invariants: &[Expr<'_>],
    adt_def: &AdtDef,
    checker_config: CheckerConfig,
) -> Result<(), ErrorGuaranteed>