Make trait aliases eligible generic containers wrt. ambient object lifetime defaults #140710
Labels
A-dyn-trait
Area: trait objects, vtable layout
A-lifetimes
Area: Lifetimes / regions
C-bug
Category: This is a bug.
F-trait_alias
`#![feature(trait_alias)]`
S-blocked
Status: Blocked on something else such as an RFC or other implementation work.
T-types
Relevant to the types team, which will review and decide on the PR/issue.
Arguably, trait alias refs should bring along ambient object lifetime defaults (I would say "just like trait refs" but those are currently unintentionally broken (or have been since their introduction) which would get fixed in #129543).
TL;DR: This code should compile and doesn't currently:
Object lifetime defaults aren't a hot topic esp. due to the existence of inferred outlives-bounds which don't participate in their resolution, so this is generally P-low but I'm not marking this issue as such as it should still block the stabilization of
trait_alias
(or whatever features end up replacing it) since modifying the resolution of object lifetime default afterwards would be a breaking change.Temporarily blocking this on my PR #129543 which touches a lot of code in that area.
The text was updated successfully, but these errors were encountered: