7 fn get_min_from_max<'min, 'max, G>()
8 where 'max : 'min, &'max G : Get, G : 'max
10 impls_get::<&'min G>(); //~ ERROR mismatched types
13 fn get_max_from_min<'min, 'max, G>()
14 where 'max : 'min, &'min G : Get, G : 'min
16 impls_get::<&'max G>(); //~ ERROR mismatched types
19 fn impls_get<G>() where G : Get { }