+ StorageLive(_7); // scope 1 at $SRC_DIR/alloc/src/boxed.rs:LL:COL
+ _7 = move (*_4); // scope 1 at $SRC_DIR/alloc/src/boxed.rs:LL:COL
+ _6 = &mut (*_7); // scope 1 at $SRC_DIR/alloc/src/boxed.rs:LL:COL
+ StorageDead(_7); // scope 1 at $SRC_DIR/alloc/src/boxed.rs:LL:COL