Feature gate: #![feature(const_ops)]

This is a tracking issue for const-stability of traits in ops.

Public API

// core::ops

#[const_trait]
pub trait Add<Rhs = Self> { ... }

#[const_trait]
pub trait Sub<Rhs = Self> { ... }

#[const_trait]
pub trait Mul<Rhs = Self> { ... }

#[const_trait]
pub trait Div<Rhs = Self> { ... }

#[const_trait]
pub trait Rem<Rhs = Self> { ... }

• Neg
• Not
• BitAnd
• BitOr
• BitXor
• Shl
• Shr
• AddAssign
• SubAssign
• MulAssign
• DivAssign
• RemAssign
• BitAndAssign
• BitOrAssign
• BitXorAssign
• ShlAssign
• ShrAssign

Steps / History

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

• Implementation:
  • Make Sub, Mul, Div and Rem const_traits #143000
  • Add const Rem #143040
  • Constify remaining traits/impls for const_ops #143949
• Final comment period (FCP)¹
• Stabilization PR

Unresolved Questions / Blockers

• Blocked on Tracking Issue for RFC 3762, "Make trait methods callable in const contexts" #143874