regions-reassign-let-bound-pointer.rs

//@ run-pass
#![allow(unused_assignments)]
#![allow(unused_variables)]
// Check that the type checker permits us to reassign `z` which
// started out with a longer lifetime and was reassigned to a shorter
// one (it should infer to be the intersection).

//@ pretty-expanded FIXME #23616

fn foo(x: &isize) {
    let a = 1;
    let mut z = x;
    z = &a;
}

pub fn main() {
    foo(&1);
}