Home Original page

Stop using `unsized_const_parameters` in core/std · model-checking/verify-rust-std@c788415

Original file line numberDiff line numberDiff line change

@@ -243,18 +243,6 @@ extern "rust-intrinsic" {

243243

#[rustc_nounwind]

244244

pub fn simd_shuffle<T, U, V>(x: T, y: T, idx: U) -> V;

245245
246-

/// Shuffle two vectors by const indices.

247-

///

248-

/// `T` must be a vector.

249-

///

250-

/// `U` must be a vector with the same element type as `T` and the same length as `IDX`.

251-

///

252-

/// Returns a new vector such that element `i` is selected from `xy[IDX[i]]`, where `xy`

253-

/// is the concatenation of `x` and `y`. It is a compile-time error if `IDX[i]` is out-of-bounds

254-

/// of `xy`.

255-

#[rustc_nounwind]

256-

pub fn simd_shuffle_generic<T, U, const IDX: &'static [u32]>(x: T, y: T) -> U;

257-
258246

/// Read a vector of pointers.

259247

///

260248

/// `T` must be a vector.