Tracking Issue for `unchecked_disjoint_bitor`

[scottmcm]

Feature gate: #![feature(disjoint_bitor)]

This is a tracking issue for the unchecked_disjoint_bitor method on integer types (and the associated intrinsic implementing it).

This is a method for cases where a | b and a + b return the same value, named after the disjoint flag in LLVM.

ACP: rust-lang/libs-team#373

Public API

impl u8/.../u128/usize {
    pub const unsafe fn unchecked_disjoint_bitor(self, other: Self) -> Self;
}

Steps / History

• Implementation: Add unchecked_disjoint_bitor per ACP373 #135760
• Final comment period (FCP)¹
• Stabilization PR

Unresolved Questions

• None yet.

Footnotes

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

[clarfonthey]

Are there any major impediments to stabilising this, since it's been over four months?

[bjoernager]

Additional implementations for bool and signed types: #147368.