Function check_invariants

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