-
Notifications
You must be signed in to change notification settings - Fork 13.6k
Closed
Labels
A-result-optionArea: Result and Option combinatorsArea: Result and Option combinatorsC-tracking-issueCategory: An issue tracking the progress of sth. like the implementation of an RFCCategory: An issue tracking the progress of sth. like the implementation of an RFCT-libs-apiRelevant to the library API team, which will review and decide on the PR/issue.Relevant to the library API team, which will review and decide on the PR/issue.disposition-mergeThis issue / PR is in PFCP or FCP with a disposition to merge it.This issue / PR is in PFCP or FCP with a disposition to merge it.finished-final-comment-periodThe final comment period is finished for this PR / Issue.The final comment period is finished for this PR / Issue.
Description
Feature gate: #![feature(unzip_option)]
This is a tracking issue for the Option::unzip()
method, which turns an Option<(T, U)>
into an (Option<T>, Option<U>)
.
This is the inverse of Option::zip()
and is a nice little convenience function
Public API
// core::option
impl<T, U> Option<(T, U)> {
pub fn unzip(self) -> (Option<T>, Option<U>);
}
Steps / History
- Implementation: Added the
Option::unzip()
method #87636 - Final comment period (FCP)
- Stabilization PR: Stabilize
Option::unzip()
#98204
Unresolved Questions
- None yet.
ctron, TennyZhuang, Stargateur, Rexagon, leofidus and 11 more
Metadata
Metadata
Assignees
Labels
A-result-optionArea: Result and Option combinatorsArea: Result and Option combinatorsC-tracking-issueCategory: An issue tracking the progress of sth. like the implementation of an RFCCategory: An issue tracking the progress of sth. like the implementation of an RFCT-libs-apiRelevant to the library API team, which will review and decide on the PR/issue.Relevant to the library API team, which will review and decide on the PR/issue.disposition-mergeThis issue / PR is in PFCP or FCP with a disposition to merge it.This issue / PR is in PFCP or FCP with a disposition to merge it.finished-final-comment-periodThe final comment period is finished for this PR / Issue.The final comment period is finished for this PR / Issue.