Function charon_lib::transform::ullbc_to_llbc::translate_child_block

source ยท 
fn translate_child_block(
    info: &mut BlockInfo<'_>,
    parent_loops: &Vector<BlockId>,
    switch_exit_blocks: &HashSet<BlockId>,
    parent_span: Span,
    child_id: BlockId,
) -> Option<Block>
Expand description

parent_span: we need some span data for the new statement. We use the one for the parent terminator.