Tracking Issue for `u{N}::{wrapping,checked,strict,unbounded}_funnel_{shl,shr}`

[pthariensflame]

Feature gate: #![feature(wrapping_funnel_shifts)]

This is a tracking issue for the wrapping/checked/strict/unbounded funnel shift methods on unsigned integer types.

These extend the previously existing plain and unchecked funnel shift methods (tracked at #145686) to express additional specific overflow semantics.

Public API

impl u{8,16,32,64,128,size} {
    pub const fn wrapping_funnel_shl(self, right: Self, n: u32) -> Self;
    pub const fn wrapping_funnel_shr(self, right: Self, n: u32) -> Self;
    pub const fn checked_funnel_shl(self, right: Self, n: u32) -> Option<Self>;
    pub const fn checked_funnel_shr(self, right: Self, n: u32) -> Option<Self>;
    pub const fn strict_funnel_shl(self, right: Self, n: u32) -> Self;
    pub const fn strict_funnel_shr(self, right: Self, n: u32) -> Self;
    pub const fn unbounded_funnel_shl(self, right: Self, n: u32) -> Self;
    pub const fn unbounded_funnel_shr(self, right: Self, n: u32) -> Self;
}

Steps / History

(Remember to update the S-tracking-* label when checking boxes.)

• ACP: ACP: wrapping/checked/strict/unbounded funnel shifts libs-team#855
• Implementation: Checked/wrapping/strict/unbounded funnel shifts #161119
• Final comment period (FCP)¹
• Stabilization PR

Unresolved Questions

• None yet.

Footnotes

1. https://std-dev-guide.rust-lang.org/feature-lifecycle/stabilization.html ↩