Function arguments in nontrivial pattern can be reassigned with a different lifetime.

[theemathas]

I tried this code:

#![allow(unused)]

fn works<'a, 'b>(mut x @ _: &'a i32, y: &'b i32) {
    x = y;
}

fn fails<'a, 'b>(mut x: &'a i32, y: &'b i32) {
    x = y;
}

I expected the two functions to either both compile or both error. Instead, only the first function compiles:

error: lifetime may not live long enough
 --> src/lib.rs:8:5
  |
7 | fn fails<'a, 'b>(mut x: &'a i32, y: &'b i32) {
  |          --  -- lifetime `'b` defined here
  |          |
  |          lifetime `'a` defined here
8 |     x = y;
  |     ^^^^^ assignment requires that `'b` must outlive `'a`
  |
  = help: consider adding the following bound: `'b: 'a`

See also #128225, where a variable can be assigned a value with a different lifetime.

Related to #148389, where a similar inconsistency occurs with async fn.

Meta

Reproducible on the playground with version 1.93.0-nightly (2025-11-02 b15a874aafe7eab9ea3a)

[bjorn3]

I think works is interpreted as

fn works<'a, 'b>(arg0: &'a i32, y: &'b i32) {
    let mut x = arg0;
    x = y;
}

which doesn't have a type annotation on x and thus doesn't constrain it to be exactly 'a.

[QuineDot]

Probably related to #86989.