Function check_invariants

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