Function check_invariants

pub(crate) fn check_invariants<'genv>(
    genv: GlobalEnv<'genv, '_>,
    adt_def_id: MaybeExternId<OwnerId>,
    params: &[RefineParam<'genv>],
    invariants: &[Expr<'genv>],
) -> Result<WfckResults, ErrorGuaranteed>