LL | let _: Invariant<'static> = c;
| ^ lifetime mismatch
|
- = note: expected type `Invariant<'static>`
- found type `Invariant<'b>`
+ = note: expected struct `Invariant<'static>`
+ found struct `Invariant<'b>`
note: the lifetime `'b` as defined on the function body at 11:9...
--> $DIR/regions-variance-invariant-use-covariant.rs:11:9
|