Tracking Issue for constifying `Result` methods that depend on const traits

[clarfonthey]

Feature gate: #![feature(const_result_traits)]

This is a tracking issue for constifying the methods of Result that depend on const traits. (#143874)

Public API

impl<T, E> Result<T, E> {
    const fn map<F, U>(self, f: F) -> Result<U, E> where F: [const] FnOnce(T) -> U + [const] Destruct;
    const fn map<O, F>(self, op: O) -> Result<T, F> where O: [const] FnOnce(E) -> F + [const] Destruct;
    const fn inspect<F>(self, f: F) -> Result<T, E> where F: [const] FnOnce(&T) + [const] Destruct;
    const fn inspect_err<F>(self, f: F) -> Result<T, E> where F: [const] FnOnce(&E) + [const] Destruct;
    const fn as_deref(&self) -> Result<&T::Target, &E> where T: [const] Deref;
    const fn as_deref_mut(&mut self) -> Result<&mut T::Target, &mut E> where T: [const] DerefMut;
}

Steps / History

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

• Implementation: TBD
• Final comment period (FCP)¹
• Stabilization PR

Unresolved Questions

• None yet.

Footnotes

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

[clarfonthey]

I think I understand why these actually require const_precise_live_drops. I thought I could get away with it, but the function itself needs to be dropped, so, that's moot too.

Closing for now.