1 // The type of `y` ends up getting inferred to the type of the block.
4 let mut _y = vec![&mut x];
5 while x < 10 { //~ ERROR cannot use `x` because it was mutably borrowed
6 let mut z = x; //~ ERROR cannot use `x` because it was mutably borrowed
8 //~^ ERROR `z` does not live long enough
9 x += 1; //~ ERROR cannot use `x` because it was mutably borrowed