Function charon_lib::transform::ullbc_to_llbc::block_is_error

source ยท 
fn block_is_error(body: &ExprBody, block_id: BlockId) -> bool
Expand description

The terminator of the block is a panic, etc.