For any `'a`, use of `&'a T` => `T: 'a`

This is a question about the situation where we have a generic type behind a reference. Should it be the case that the compiler infers that the type must live at least as long as the reference, so the existence of &'a T means that the constraint T: 'a is implied?

It does already. See also RFC 2093 (implemented and stabilized).

1 Like