3 // Test that even when `T` is only used in contravariant position, it
4 // is treated as invariant.
6 trait Get<T> : 'static {
10 fn get_min_from_max<'min, 'max>(v: Box<dyn Get<&'max i32>>)
11 -> Box<dyn Get<&'min i32>>
14 v //~ ERROR mismatched types
17 fn get_max_from_min<'min, 'max, G>(v: Box<dyn Get<&'min i32>>)
18 -> Box<dyn Get<&'max i32>>
22 v //~ ERROR mismatched types