blob: 7063f1c9c8f974c5953eeaee4ca6d090fcb13715 [file] [log] [blame]
error[E0308]: mismatched types
--> $DIR/variance-use-invariant-struct-1.rs:12:5
|
LL | v
| ^ lifetime mismatch
|
= note: expected struct `SomeStruct<&'min ()>`
found struct `SomeStruct<&'max ()>`
note: the lifetime `'min` as defined on the function body at 8:8...
--> $DIR/variance-use-invariant-struct-1.rs:8:8
|
LL | fn foo<'min,'max>(v: SomeStruct<&'max ()>)
| ^^^^
note: ...does not necessarily outlive the lifetime `'max` as defined on the function body at 8:13
--> $DIR/variance-use-invariant-struct-1.rs:8:13
|
LL | fn foo<'min,'max>(v: SomeStruct<&'max ()>)
| ^^^^
error[E0308]: mismatched types
--> $DIR/variance-use-invariant-struct-1.rs:19:5
|
LL | v
| ^ lifetime mismatch
|
= note: expected struct `SomeStruct<&'max ()>`
found struct `SomeStruct<&'min ()>`
note: the lifetime `'min` as defined on the function body at 15:8...
--> $DIR/variance-use-invariant-struct-1.rs:15:8
|
LL | fn bar<'min,'max>(v: SomeStruct<&'min ()>)
| ^^^^
note: ...does not necessarily outlive the lifetime `'max` as defined on the function body at 15:13
--> $DIR/variance-use-invariant-struct-1.rs:15:13
|
LL | fn bar<'min,'max>(v: SomeStruct<&'min ()>)
| ^^^^
error: aborting due to 2 previous errors
For more information about this error, try `rustc --explain E0308`.