Rollup merge of #128150 - BoxyUwU:std_only_sized_const_params, r=work… · model-checking/verify-rust-std@ba0582b (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.