Skip to main content

find_assume_init_tail

charon_lib::transform::resugar::reconstruct_vec_boxes

Function find_assume_init_tail 

Source 
fn find_assume_init_tail(
    ctx: &TransformCtx,
    body: &ExprBody,
    cursor: StmtLoc,
    uninit_box: &Place,
) -> Option<AssumeInitTail>