1 2 3 4 5 6 7 8 9
// Ensures that invalidating a reference in one branch doesn't // influence other branches. fn main() { let x = []; let &y = x; if true { x = [1]; } else { log_err y; } }