clean variance test

This commit is contained in:
lengyijun 2022-06-11 12:37:39 +00:00
parent c84594661c
commit 4bb0965896
6 changed files with 9 additions and 9 deletions

View File

@ -15,7 +15,7 @@ fn get_min_from_max<'min, 'max>(v: Box<dyn Get<&'max i32>>)
//~^ ERROR lifetime may not live long enough
}
fn get_max_from_min<'min, 'max, G>(v: Box<dyn Get<&'min i32>>)
fn get_max_from_min<'min, 'max>(v: Box<dyn Get<&'min i32>>)
-> Box<dyn Get<&'max i32>>
where 'max : 'min
{

View File

@ -14,7 +14,7 @@ LL | v
error: lifetime may not live long enough
--> $DIR/variance-contravariant-arg-object.rs:23:5
|
LL | fn get_max_from_min<'min, 'max, G>(v: Box<dyn Get<&'min i32>>)
LL | fn get_max_from_min<'min, 'max>(v: Box<dyn Get<&'min i32>>)
| ---- ---- lifetime `'max` defined here
| |
| lifetime `'min` defined here

View File

@ -16,7 +16,7 @@ fn get_min_from_max<'min, 'max>(v: Box<dyn Get<&'max i32>>)
//~^ ERROR lifetime may not live long enough
}
fn get_max_from_min<'min, 'max, G>(v: Box<dyn Get<&'min i32>>)
fn get_max_from_min<'min, 'max>(v: Box<dyn Get<&'min i32>>)
-> Box<dyn Get<&'max i32>>
where 'max : 'min
{

View File

@ -14,7 +14,7 @@ LL | v
error: lifetime may not live long enough
--> $DIR/variance-covariant-arg-object.rs:23:5
|
LL | fn get_max_from_min<'min, 'max, G>(v: Box<dyn Get<&'min i32>>)
LL | fn get_max_from_min<'min, 'max>(v: Box<dyn Get<&'min i32>>)
| ---- ---- lifetime `'max` defined here
| |
| lifetime `'min` defined here

View File

@ -12,7 +12,7 @@ fn get_min_from_max<'min, 'max>(v: Box<dyn Get<&'max i32>>)
//~^ ERROR lifetime may not live long enough
}
fn get_max_from_min<'min, 'max, G>(v: Box<dyn Get<&'min i32>>)
fn get_max_from_min<'min, 'max>(v: Box<dyn Get<&'min i32>>)
-> Box<dyn Get<&'max i32>>
where 'max : 'min
{

View File

@ -14,7 +14,7 @@ LL | v
error: lifetime may not live long enough
--> $DIR/variance-invariant-arg-object.rs:19:5
|
LL | fn get_max_from_min<'min, 'max, G>(v: Box<dyn Get<&'min i32>>)
LL | fn get_max_from_min<'min, 'max>(v: Box<dyn Get<&'min i32>>)
| ---- ---- lifetime `'max` defined here
| |
| lifetime `'min` defined here