{"ast_node_type":"function","tokens":[{"end":97,"kind":"keyword","start":0,"text":"fn"}]}
    fn universe_compatible(&self, scc_b: ConstraintSccIndex, scc_a: ConstraintSccIndex) -> bool {
    /// the value of `scc_b` has been computed.
        self.scc_annotations[scc_a].universe_compatible_with(self.scc_annotations[scc_b])