{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"self.diverges.set(prev_diverges);"}]}
            self.diverges.set(prev_diverges);
            // (... as long as the entry is reachable) - regardless of the tail of the block.
        }