Function creusot_contracts::std::intrinsics::add_with_overflow

const: 1.40.0 · source ·

pub const extern "rust-intrinsic" fn add_with_overflow<T>(
    x: T,
    y: T,
) -> (T, bool)where
    T: Copy,

🔬This is a nightly-only experimental API. (core_intrinsics)

Expand description

Performs checked integer addition.

Note that, unlike most intrinsics, this is safe to call; it does not require an unsafe block. Therefore, implementations must not require the user to uphold any safety invariants.

The stabilized versions of this intrinsic are available on the integer primitives via the overflowing_add method. For example, u32::overflowing_add

Function creusot_contracts::std::intrinsics::add_with_overflowCopy item path

Function creusot_contracts::std::intrinsics::add_with_overflow