{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"//"}]}
        // CfgSimplifier::simplify leaves behind some unreachable basic blocks without a
    let should_deduplicate_unreachable = |bbdata: &BasicBlockData<'_>| {
        // terminator. Those blocks will be deleted by remove_dead_blocks, but we run just