Tracking Issue for checked bitshifts

[Qelxiros]

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 exact_shl_unchecked(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 exact_shr_unchecked(self, shift: u32) -> Self;
}

Steps / History

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

• Implementation: add exact bitshifts #144342
• Final comment period (FCP)¹
• Stabilization PR

Unresolved Questions

• None yet.

Footnotes

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

[Qelxiros]

@lolbinarycat Are you still interested in implementing this? If not, please let me know so I know it's available. Regardless, rust-lang/libs-team#570 can be closed now.

[lolbinarycat]

@Qelxiros I'd get around to it eventually, but I've got a fairly long backlog, so if anyone wants to claim this issue, they're free to, just cc me on the implementation PR so I can take a look.

[Qelxiros]

@rustbot label -S-tracking-unimplemented