Function creusot_contracts::std::intrinsics::simd::simd_insert

pub unsafe extern "rust-intrinsic" fn simd_insert<T, U>(
    x: T,
    idx: u32,
    val: U,
) -> T

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

Insert an element into a vector, returning the updated vector.

T must be a vector with element type U.

Safety

idx must be in-bounds of the vector.