1 error: unsatisfied lifetime constraints
2 --> $DIR/regions-variance-invariant-use-covariant.rs:27:12
4 LL | fn use_<'b>(c: Invariant<'b>) {
5 | -- lifetime `'b` defined here
7 LL | let _: Invariant<'static> = c; //~ ERROR mismatched types
8 | ^^^^^^^^^^^^^^^^^^ type annotation requires that `'b` must outlive `'static`
10 error: aborting due to previous error