{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"for"}]}
                for (bb, data) in traversal::reachable(&ccx.body) {
                // Make sure to only visit reachable blocks, the dataflow engine can ICE otherwise.
                    if matches!(data.terminator().kind, TerminatorKind::Return) {