Can `'a outlives T` be implemented with implied bounds?

[steffahn]

@steffahn

I believe I have seen something like this discussed somewhere before; gotta look at the forums.

I’ve found at least one such discussion:

Proposal: `'<T>` lifetime

What it is For any type T, '<T> (bikeshedabble ofc) denotes the longest lifetime 'a for which T: 'a holds. Why it’s useful Eliminating early-bound lifetime parameters The signature of Box::leak() contains an early-bound lifetime parameter: impl<T: ?Sized> Box<T> { fn leak<'a>(b: Box<T>) -> &'a mut T { … } } This feature would allow eliminating that parameter: impl<T: ?Sized> Box<T> { fn leak(b: Box<T>) -> &'<T> mut T { … } } Self-referential lifetimes Consider the following self-ref…