diff options
Diffstat (limited to 'src/test/ui/variance/variance-covariant-arg-object.rs')
| -rw-r--r-- | src/test/ui/variance/variance-covariant-arg-object.rs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/test/ui/variance/variance-covariant-arg-object.rs b/src/test/ui/variance/variance-covariant-arg-object.rs index 4b371841654..7cbf65ae3d9 100644 --- a/src/test/ui/variance/variance-covariant-arg-object.rs +++ b/src/test/ui/variance/variance-covariant-arg-object.rs @@ -7,16 +7,16 @@ trait Get<T> : 'static { fn get(&self) -> T; } -fn get_min_from_max<'min, 'max>(v: Box<Get<&'max i32>>) - -> Box<Get<&'min i32>> +fn get_min_from_max<'min, 'max>(v: Box<dyn Get<&'max i32>>) + -> Box<dyn Get<&'min i32>> where 'max : 'min { // Previously OK, now an error as traits are invariant. v //~ ERROR mismatched types } -fn get_max_from_min<'min, 'max, G>(v: Box<Get<&'min i32>>) - -> Box<Get<&'max i32>> +fn get_max_from_min<'min, 'max, G>(v: Box<dyn Get<&'min i32>>) + -> Box<dyn Get<&'max i32>> where 'max : 'min { v //~ ERROR mismatched types |