- StorageLive(_4); // scope 1 at $SRC_DIR/liballoc/boxed.rs:LL:COL
- _4 = &(*(*_3)); // scope 1 at $SRC_DIR/liballoc/boxed.rs:LL:COL
- _2 = _4; // scope 1 at $SRC_DIR/liballoc/boxed.rs:LL:COL
- StorageDead(_4); // scope 1 at $SRC_DIR/liballoc/boxed.rs:LL:COL