{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"debug_assert_eq!(updater.map[START_BLOCK],"}]}
        debug_assert_eq!(updater.map[START_BLOCK], START_BLOCK);
        let mut updater = BasicBlockUpdater { map: rpo.invert_bijective_mapping(), tcx };
        updater.visit_body(body);