Stop using unsized_const_parameters in core/std · model-checking/verify-rust-std@c788415 (original) (raw)

Original file line number Diff line number Diff line change
@@ -243,18 +243,6 @@ extern "rust-intrinsic" {
243 243 #[rustc_nounwind]
244 244 pub fn simd_shuffle<T, U, V>(x: T, y: T, idx: U) -> V;
245 245
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 -
258 246 /// Read a vector of pointers.
259 247 ///
260 248 /// `T` must be a vector.