Skip to main content

collect_local_status

charon_lib::transform::resugar::reconstruct_box_derefs

Function collect_local_status 

Source 
fn collect_local_status(body: &ExprBody) -> IndexVec<LocalId, LocalStatus>