Tracking Issue for const_ops

[RalfJung]

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> { ... }

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
• Final comment period (FCP)¹
• Stabilization PR

Unresolved Questions / Blockers

• Blocked on Tracking issue for closed RFC 2632, impl const Trait for Ty and [const] (conditionally const) syntax (const_trait_impl) #67792

Footnotes

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