| error[E0623]: lifetime mismatch | |
| --> $DIR/variance-cell-is-invariant.rs:14:25 | |
| | | |
| LL | fn use_<'short,'long>(c: Foo<'short>, | |
| | ----------- these two types are declared with different lifetimes... | |
| LL | s: &'short isize, | |
| LL | l: &'long isize, | |
| | ------------ | |
| LL | _where:Option<&'short &'long ()>) { | |
| LL | let _: Foo<'long> = c; | |
| | ^ ...but data from `c` flows into `l` here | |
| error: aborting due to previous error | |