Tracking Issue for const_cmp

[RalfJung]

Feature gate: #![feature(const_cmp)]

This is a tracking issue for PartialEq in const fn.

Public API

// core::cmp

#[const_trait]
pub trait PartialEq<Rhs: PointeeSized = Self>: PointeeSized { ... }

Steps / History

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

• Implementation: Make PartialEq a const_trait #142822
• Final comment period (FCP)¹
• Stabilization PR

Unresolved Questions / Blockers

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

Footnotes

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

[chrisbouchard]

Will this feature cover other std::cmp traits as well, such as PartialOrd and/or Ord? (Similar to how const_ops covers multiple traits from the std::ops module.) Or only PartialEq?

Edit: I do see there was discussion on #143640 about how granular to be about features for new const traits and impls, so I understand this may not be fully decided yet.

[RalfJung]

Yeah we can add those here if/when they get constified.