Skip to main content

is_new_uninit_call

charon_lib::transform::resugar::reconstruct_vec_boxes

Function is_new_uninit_call 

Source 
fn is_new_uninit_call(ctx: &TransformCtx, call: &Call) -> bool