Tracking Issue for const `Cell` methods that depend on const traits

Feature gate: #![feature(const_cell_traits)]

This is a tracking issue for const Cell methods that depend on const traits.

Public API

impl<T> Cell<T> {
    pub const fn set(&self, val: T) where T: [const] Destruct;
    
    // NOTE: Copy should imply const Destruct, but it doesn't atm
    pub const fn update(&self, f: impl [const] FnOnce(T) -> T) where T: Copy + [const] Destruct;

    pub const fn take(&self) -> T where T: [const] Default;
}

Steps / History

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

• Implementation: #147788
• Final comment period (FCP)^1
• Stabilization PR

Unresolved Questions

• None yet.

Start by reading the public API and the implementation issue #147788, which is listed as the first step in this tracking issue. The feature gate is const_cell_traits, and the tracked work is complete only when implementation, the final comment period, and a stabilization PR have been addressed.