Function creusot_contracts::std::intrinsics::unchecked_mul

const: 1.79.0 · source · 
pub const unsafe extern "rust-intrinsic" fn unchecked_mul<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 multiplication, resulting in undefined behavior when x * y > T::MAX or x * y < T::MIN.

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