4 // pretty-expanded FIXME #23616
22 fn borrow(_v: &isize) {}
24 fn box_mut(v: &mut Box<isize>) {
25 borrow(&**v); // OK: &mut -> &imm
28 fn box_mut_rec(v: &mut Rec) {
29 borrow(&*v.f); // OK: &mut -> &imm
32 fn box_mut_recs(v: &mut Outer) {
33 borrow(&*v.f.g.h); // OK: &mut -> &imm
36 fn box_imm(v: &Box<isize>) {
40 fn box_imm_rec(v: &Rec) {
44 fn box_imm_recs(v: &Outer) {
45 borrow(&*v.f.g.h); // OK