Rollup merge of #126895 - betelgeuse:improve_simd_gather_documentatio… · model-checking/verify-rust-std@b068fce (original) (raw)

Original file line number Diff line number Diff line change
@@ -263,9 +263,6 @@ extern "rust-intrinsic" {
263 263 ///
264 264 /// `V` must be a vector of integers with the same length as `T` (but any element size).
265 265 ///
266 - /// `idx` must be a constant: either naming a constant item, or an inline
267 - /// `const {}` expression.
268 - ///
269 266 /// For each pointer in `ptr`, if the corresponding value in `mask` is `!0`, read the pointer.
270 267 /// Otherwise if the corresponding value in `mask` is `0`, return the corresponding value from
271 268 /// `val`.