Module reconstruct_box_derefs 

Resugar the box derefs that got desugared in elaborated MIR.

In elaborated MIR, box derefs become actual accesses to the contained raw pointer. Under --treat-box-as-builtin, we convert these back to derefs on the box.

Structs

LocalStatus 🔒

LocalStatusCollector 🔒

Transform

Functions

box_pointee_pointer_assignment 🔒

Look for

collect_local_status 🔒

rewrite_place 🔒