Skip to content

Tracking Issue for const_option_cloned #91582

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Closed
1 of 3 tasks
mbartlett21 opened this issue Dec 6, 2021 · 1 comment
Closed
1 of 3 tasks

Tracking Issue for const_option_cloned #91582

mbartlett21 opened this issue Dec 6, 2021 · 1 comment
Labels
C-tracking-issue Category: An issue tracking the progress of sth. like the implementation of an RFC T-libs-api Relevant to the library API team, which will review and decide on the PR/issue.

Comments

@mbartlett21
Copy link
Contributor

mbartlett21 commented Dec 6, 2021

Feature gate: #![feature(const_option_cloned)]

This is a tracking issue for constifying the Option::cloned functions.

This is only constifying existing apis, not adding new ones

Public API

// core::option

impl<T> Option<&T> {
    const fn cloned(self) -> Option<T>
    where
        T: ~const Clone;
}
impl<T> Option<&mut T> {
    const fn cloned(self) -> Option<T>
    where
        T: ~const Clone;
}

Steps / History

Unresolved Questions

  • None yet.
@mbartlett21 mbartlett21 added C-tracking-issue Category: An issue tracking the progress of sth. like the implementation of an RFC T-libs-api Relevant to the library API team, which will review and decide on the PR/issue. labels Dec 6, 2021
@RalfJung
Copy link
Member

RalfJung commented Sep 8, 2024

This got removed by #110393.

@RalfJung RalfJung closed this as completed Sep 8, 2024
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
C-tracking-issue Category: An issue tracking the progress of sth. like the implementation of an RFC T-libs-api Relevant to the library API team, which will review and decide on the PR/issue.
Projects
None yet
Development

No branches or pull requests

2 participants