1 error[E0308]: mismatched types
2 --> $DIR/variance-use-invariant-struct-1.rs:12:5
7 = note: expected struct `SomeStruct<&'min ()>`
8 found struct `SomeStruct<&'max ()>`
9 note: the lifetime `'min` as defined on the function body at 8:8...
10 --> $DIR/variance-use-invariant-struct-1.rs:8:8
12 LL | fn foo<'min,'max>(v: SomeStruct<&'max ()>)
14 note: ...does not necessarily outlive the lifetime `'max` as defined on the function body at 8:13
15 --> $DIR/variance-use-invariant-struct-1.rs:8:13
17 LL | fn foo<'min,'max>(v: SomeStruct<&'max ()>)
20 error[E0308]: mismatched types
21 --> $DIR/variance-use-invariant-struct-1.rs:19:5
26 = note: expected struct `SomeStruct<&'max ()>`
27 found struct `SomeStruct<&'min ()>`
28 note: the lifetime `'min` as defined on the function body at 15:8...
29 --> $DIR/variance-use-invariant-struct-1.rs:15:8
31 LL | fn bar<'min,'max>(v: SomeStruct<&'min ()>)
33 note: ...does not necessarily outlive the lifetime `'max` as defined on the function body at 15:13
34 --> $DIR/variance-use-invariant-struct-1.rs:15:13
36 LL | fn bar<'min,'max>(v: SomeStruct<&'min ()>)
39 error: aborting due to 2 previous errors
41 For more information about this error, try `rustc --explain E0308`.