charon_lib::transform::ullbc_to_llbc

Function 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.