Function creusot_contracts::std::intrinsics::unchecked_add

const: 1.79.0 · source · 
pub const unsafe extern "rust-intrinsic" fn unchecked_add<T>(
    x: T,
    y: T,
) -> T
where
    T: Copy,
🔬This is a nightly-only experimental API. (core_intrinsics)
Expand description

Returns the result of an unchecked addition, resulting in undefined behavior when x + y > T::MAX or x + y < T::MIN.

The stable counterpart of this intrinsic is unchecked_add on the various integer types, such as u16::unchecked_add and i64::unchecked_add.