Skip to main content

rewrite_place

charon_lib::transform::resugar::reconstruct_box_derefs

Function rewrite_place 

Source 
fn rewrite_place(
    place: &mut Place,
    local_status: &IndexVec<LocalId, LocalStatus>,
)