3 // Test that even when `Self` is only used in covariant position, it
4 // is treated as invariant.
7 // ignore-compare-mode-nll
8 //[nll] compile-flags: -Z borrowck=mir
14 fn get_min_from_max<'min, 'max, G>()
15 where 'max : 'min, G : 'max, &'max G : Get
17 // Previously OK, now an error as traits are invariant.
18 impls_get::<&'min G>();
19 //[base]~^ ERROR mismatched types
20 //[nll]~^^ ERROR lifetime may not live long enough
23 fn get_max_from_min<'min, 'max, G>()
24 where 'max : 'min, G : 'max, &'min G : Get
26 impls_get::<&'max G>();
27 //[base]~^ ERROR mismatched types
28 //[nll]~^^ ERROR lifetime may not live long enough
31 fn impls_get<G>() where G : Get { }