-
-
Notifications
You must be signed in to change notification settings - Fork 14.9k
RTN paths don't induce trait object lifetime defaults #151662
Copy link
Copy link
Open
Labels
A-dyn-traitArea: trait objects, vtable layoutArea: trait objects, vtable layoutA-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regionsC-bugCategory: This is a bug.Category: This is a bug.F-return_type_notation`#[feature(return_type_notation)]``#[feature(return_type_notation)]`S-blockedStatus: Blocked on something else such as an RFC or other implementation work.Status: Blocked on something else such as an RFC or other implementation work.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.T-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.
Metadata
Metadata
Assignees
Labels
A-dyn-traitArea: trait objects, vtable layoutArea: trait objects, vtable layoutA-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regionsC-bugCategory: This is a bug.Category: This is a bug.F-return_type_notation`#[feature(return_type_notation)]``#[feature(return_type_notation)]`S-blockedStatus: Blocked on something else such as an RFC or other implementation work.Status: Blocked on something else such as an RFC or other implementation work.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.T-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.
This is the RTN version of #151649 (assoc consts) and #115379 (assoc tys).
Blocking this on PR #129543 which provides fundamental fixes and the necessary framework.
The following snippet should compile but it doesn't:
dyn Boundin the RTN path should get elaborated todyn Bound + 'rbut it gets elaborated todyn Bound + 'staticinstead because associated functions aren't considered eligible containers.