1 // Slightly different from explicit-mut-annotated -- this won't show an error until borrowck.
2 // Should it show a type error instead?
7 let Some(n): &mut Option<i32> = &mut &Some(5i32) else {
8 //~^ ERROR cannot borrow data in a `&` reference as mutable