| error[E0597]: `y` does not live long enough |
| --> $DIR/const-match-pat-lifetime-err.rs:27:29 |
| | |
| LL | fn match_invariant_ref<'a>() { |
| | -- lifetime `'a` defined here |
| LL | let y = (); |
| | - binding `y` declared here |
| LL | match InvariantRef::new(&y) { |
| | ^^ borrowed value does not live long enough |
| LL | |
| LL | const { InvariantRef::<'a>::NEW } => (), |
| | --------------------------------- type annotation requires that `y` is borrowed for `'a` |
| LL | } |
| LL | } |
| | - `y` dropped here while still borrowed |
| |
| error: lifetime may not live long enough |
| --> $DIR/const-match-pat-lifetime-err.rs:37:12 |
| | |
| LL | fn match_covariant_ref<'a>() { |
| | -- lifetime `'a` defined here |
| ... |
| LL | let y: (CovariantRef<'static, _>,) = (CovariantRef(&()),); |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ type annotation requires that `'a` must outlive `'static` |
| |
| error: aborting due to 2 previous errors |
| |
| For more information about this error, try `rustc --explain E0597`. |