{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"body.basic_blocks[targets.otherwise()].is_empty_unreachable();"}]}
                body.basic_blocks[targets.otherwise()].is_empty_unreachable();
            let otherwise_is_empty_unreachable =
            fn check_successors(basic_blocks: &BasicBlocks<'_>, bb: BasicBlock) -> bool {