Suggest adding a generic lifetime parameter

[varkor]

fn foo(
    mut x: &(),
    y: &(),
) {
    x = y;
}

gives the error:

error[E0623]: lifetime mismatch
 --> src/lib.rs:5:9
  |
2 |     mut x: &(),
  |            ---
3 |     y: &(),
  |        --- these two types are declared with different lifetimes...
4 | ) {
5 |     x = y;
  |         ^ ...but data from `y` flows into `x` here

but does not suggest the solution: adding a new lifetime parameter 'a to foo and giving both variables the same lifetime.

[BGR360]

Looks like the gods of time have granted your wish (in this case, @Nilstrieb ): #90179

Current output on nightly:

error[E0623]: lifetime mismatch
 --> src/lib.rs:5:9
  |
2 |     mut x: &(),
  |            ---
3 |     y: &(),
  |        --- these two types are declared with different lifetimes...
4 | ) {
5 |     x = y;
  |         ^ ...but data from `y` flows into `x` here
  |
  = note: each elided lifetime in input position becomes a distinct lifetime
help: consider introducing a named lifetime parameter
  |
1 ~ fn foo<'a>(
2 ~     mut x: &'a (),
3 ~     y: &'a (),
  |

Can we close this?