reborrows depend on the current inference state

[lcnr]

fn foo(x: &mut u32) {}

fn mk<T>() -> T {
    todo!()
}

fn bar<'a, 'b>(mut y: &'a mut u32) {
    let mut x: /* &mut _ */ = mk();
    foo(x);
    y = x;
}

gamer