3 // Test that even when `T` is only used in covariant position, it
4 // is treated as invariant.
7 // ignore-compare-mode-nll
8 //[nll] compile-flags: -Z borrowck=mir
10 trait Get<T> : 'static {
14 fn get_min_from_max<'min, 'max>(v: Box<dyn Get<&'max i32>>)
15 -> Box<dyn Get<&'min i32>>
18 // Previously OK, now an error as traits are invariant.
20 //[base]~^ ERROR mismatched types
21 //[nll]~^^ ERROR lifetime may not live long enough
24 fn get_max_from_min<'min, 'max, G>(v: Box<dyn Get<&'min i32>>)
25 -> Box<dyn Get<&'max i32>>
29 //[base]~^ ERROR mismatched types
30 //[nll]~^^ ERROR lifetime may not live long enough