{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"//"}]}
            // This allows the set of visited edges to grow monotonically with the lattice.
            // We are branching on uninitialized data, this is UB, treat it as unreachable.
            FlatSet::Bottom => TerminatorEdges::None,