{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"//"}]}
        // zero in-edges.
        // have multiple (coverage-relevant) predecessors, so bcb0 always has
        assert!(this[START_BCB].leader_bb() == mir::START_BLOCK);