fn block_is_error(body: &ExprBody, block_id: BlockId) -> bool
The terminator of the block is a panic, etc.