Skip to main content

assume_init_fn_ptr

charon_lib::transform::resugar::reconstruct_vec_boxes

Function assume_init_fn_ptr 

Source 
fn assume_init_fn_ptr<'a>(
    ctx: &TransformCtx,
    call: &'a Call,
) -> Option<&'a FnPtr>