as_simd: fix comment to be in line with 507583a (#121201) · model-checking/verify-rust-std@0907955 (original) (raw)

`@@ -3959,17 +3959,8 @@ impl [T] {

3959

3960

`/// Split a slice into a prefix, a middle of aligned SIMD types, and a suffix.

3961

`///

3962

`` -

/// This is a safe wrapper around [slice::align_to], so has the same weak

3963

/// postconditions as that method. You're only assured that

3964

`` -

/// self.len() == prefix.len() + middle.len() * LANES + suffix.len().

3965

///

3966

/// Notably, all of the following are possible:

3967

`` -

/// - prefix.len() >= LANES.

3968

`` -

/// - middle.is_empty() despite self.len() >= 3 * LANES.

3969

`` -

/// - suffix.len() >= LANES.

3970

///

3971

/// That said, this is a safe method, so if you're only writing safe code,

3972

/// then this can at most cause incorrect logic, not unsoundness.

3962

`` +

/// This is a safe wrapper around [slice::align_to], so inherits the same

3963

/// guarantees as that method.

3973

3964

`///

3974

3965

`/// # Panics

3975

3966

`///

`@@ -4033,17 +4024,8 @@ impl [T] {

4033

4024

`/// Split a mutable slice into a mutable prefix, a middle of aligned SIMD types,

4034

4025

`/// and a mutable suffix.

4035

4026

`///

4036

`` -

/// This is a safe wrapper around [slice::align_to_mut], so has the same weak

4037

/// postconditions as that method. You're only assured that

4038

`` -

/// self.len() == prefix.len() + middle.len() * LANES + suffix.len().

4039

///

4040

/// Notably, all of the following are possible:

4041

`` -

/// - prefix.len() >= LANES.

4042

`` -

/// - middle.is_empty() despite self.len() >= 3 * LANES.

4043

`` -

/// - suffix.len() >= LANES.

4044

///

4045

/// That said, this is a safe method, so if you're only writing safe code,

4046

/// then this can at most cause incorrect logic, not unsoundness.

4027

`` +

/// This is a safe wrapper around [slice::align_to_mut], so inherits the same

4028

/// guarantees as that method.

4047

4029

`///

4048

4030

`` /// This is the mutable version of [slice::as_simd]; see that for examples.

4049

4031

`///