Function creusot_contracts::std::intrinsics::unchecked_shr

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

Performs an unchecked right shift, resulting in undefined behavior when y < 0 or y >= N, where N is the width of T in bits.

Safe wrappers for this intrinsic are available on the integer primitives via the checked_shr method. For example, u32::checked_shr