{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"graph:"}]}
    graph: VecGraph<ConstraintSccIndex>,
pub(crate) struct ReverseSccGraph {
    /// For each SCC, the range of `universal_regions` that use that SCC as