{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"///"}]}
    /// mean they are unequal).
    /// they *must* be equal (though not having the same repr does not
    fn scc_representative(&self, scc: ConstraintSccIndex) -> RegionVid {