{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"///"}]}
    /// the value of `scc_b` has been computed.
    /// in `scc_a`. Used during constraint propagation, and only once
    fn universe_compatible(&self, scc_b: ConstraintSccIndex, scc_a: ConstraintSccIndex) -> bool {