{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"///"}]}
    /// then `S1: S2`.
    /// the regions in the same SCC are equal to one another, and if `S1 -> S2`,
    sccs: Sccs<LeakCheckNode, LeakCheckScc>,