@Yandros made an interesting observation : That is, the following program does not compile (it would be unsound if it did!): trait Trait {} const _ : () = { fn check<'short, 'long : 'short> ( it: &'short mut Box<dyn Trait + 'long>, ) { let _: &'short mut Box<dyn Trait …

Variance of trait object lifetime bound

RalfJung May 9, 2020, 1:24pm 2

Oh sorry, I should have checked first if this was already discussed... it was. Nothing to see here.

2 Likes

Topic		Replies	Views
[Solved] Variance of `dyn Trait + 'a`	17	2032	October 13, 2020
Can the lifetime parameter in dyn trait object not be covariance? help	23	696	January 11, 2023
Boxing objects with bounded lifetimes help	3	671	August 6, 2020
Lifetimes and trait objects help	4	764	January 12, 2023
Question about Trait Object lifetime community	8	2265	August 11, 2020