{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"//"}]}
            // (... as long as the entry is reachable) - regardless of the tail of the block.
            // If we can break from the block, then the block's exit is always reachable
            self.diverges.set(prev_diverges);