{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
    /// `B: A`. This is used to compute the universal regions that are required
    /// Reverse of the SCC constraint graph --  i.e., an edge `A -> B` exists if
    /// to outlive a given SCC.