-
-
Notifications
You must be signed in to change notification settings - Fork 14.8k
#[may_dangle], a refined dropck escape hatch (tracking issue for RFC 1327) #34761
Copy link
Copy link
Open
Labels
A-destructorsArea: Destructors (`Drop`, …)Area: Destructors (`Drop`, …)B-RFC-approvedBlocker: Approved by a merged RFC but not yet implemented.Blocker: Approved by a merged RFC but not yet implemented.B-unstableBlocker: Implemented in the nightly compiler and unstable.Blocker: Implemented in the nightly compiler and unstable.C-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 RFCF-dropck_eyepatch`#![feature(dropck_eyepatch)]``#![feature(dropck_eyepatch)]`S-tracking-perma-unstableStatus: The feature will stay unstable indefinitely.Status: The feature will stay unstable indefinitely.T-langRelevant to the language teamRelevant to the language teamT-typesRelevant to the types team, which will review and decide on the PR/issue.Relevant to the types team, which will review and decide on the PR/issue.
Description
Metadata
Metadata
Assignees
Labels
A-destructorsArea: Destructors (`Drop`, …)Area: Destructors (`Drop`, …)B-RFC-approvedBlocker: Approved by a merged RFC but not yet implemented.Blocker: Approved by a merged RFC but not yet implemented.B-unstableBlocker: Implemented in the nightly compiler and unstable.Blocker: Implemented in the nightly compiler and unstable.C-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 RFCF-dropck_eyepatch`#![feature(dropck_eyepatch)]``#![feature(dropck_eyepatch)]`S-tracking-perma-unstableStatus: The feature will stay unstable indefinitely.Status: The feature will stay unstable indefinitely.T-langRelevant to the language teamRelevant to the language teamT-typesRelevant to the types team, which will review and decide on the PR/issue.Relevant to the types team, which will review and decide on the PR/issue.
Type
Fields
Give feedbackNo fields configured for issues without a type.
Tracking issue for rust-lang/rfcs#1327
generic_param_attrsfeature): Attributes on generic formals #34764#[may_dangle]attribute for lifetime/type formal parameters onunsafe impl<...> Drop(dropck_eyepatchfeature)#[unsafe_destructor_blind_to_params]attribute in libstd with#[may_dangle]Replace uses of#[unsafe_destructor_blind_to_params]with#[may_dangle]#38664#[may_dangle]instead of#[unsafe_destructor_blind_to_params]Update nomicon to describe#[may_dangle]#39196#[unsafe_destructor_blind_to_params]attribute (with warning cycle before removal).#[unsafe_destructor_blind_to_params]#38970#[unsafe_destructor_blind_to_params]with[may_dangle]before we can actually remove the former.For docs explaining the feature, also see the forge.