charon_lib::transform::ullbc_to_llbc

Function translate_terminator

source
fn translate_terminator(
    info: &mut BlockInfo<'_>,
    parent_loops: &Vec<BlockId>,
    switch_exit_blocks: &HashSet<BlockId>,
    terminator: &Terminator,
) -> Block