Function charon_lib::transform::ullbc_to_llbc::is_terminal

fn is_terminal(block: &Block) -> bool

Return true if whatever the path we take, evaluating the statement necessarily leads to:

• a panic or return
• a break which goes to a loop outside the expression
• a continue statement