Skip to main content

find_next_move_of

charon_lib::transform::resugar::reconstruct_vec_boxes

Function find_next_move_of 

Source 
fn find_next_move_of(
    body: &ExprBody,
    cursor: StmtLoc,
    src: &Place,
) -> Option<(StmtLoc, Place)>