Feature gate: #![feature(exact_bitshifts)]

This is a tracking issue for checked bitshifts, i.e. bitshifts that can be losslessly reversed.
ACP: rust-lang/libs-team#570

Public API

impl iX/uX {
    // Shift succeeds if `shift < Self::BITS` and right shifting the result returns the original value.
    fn exact_shl(self, shift: u32) -> Option<Self>;
    unsafe fn unchecked_exact_shl(self, shift: u32) -> Self;

    // Shift succeeds if `shift < Self::BITS` and left shifting the result returns the original value.
    fn exact_shr(self, shift: u32) -> Option<Self>;
    unsafe fn unchecked_exact_shr(self, shift: u32) -> Self;
}

Steps / History

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

• Implementation: add exact bitshifts #144342
• Add new intrinsics rather than building on unchecked_sh{l,r} actually checked bitshifts libs-team#570 (comment)
• Final comment period (FCP)¹
• Stabilization PR

Unresolved Questions

• Should exact_shl panic instead of return None, then introduce a new checked_exact_shl -> Option? add exact bitshifts #144342 (comment)

• None yet.