{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"//"}]}
        // Given that we observe these dropped locals here at `block` so far, we will try to update
        let Some(terminator) = &data.terminator else { return };
        // the successor blocks. An occupied entry at `block` in `self.visited` signals that we