{"ast_node_type":"function","tokens":[{"end":92,"kind":"keyword","start":0,"text":"pub(crate)"}]}
    pub(crate) fn upper_bound_in_region_scc(&self, r: RegionVid, upper: RegionVid) -> bool {
    /// Check if the SCC of `r` contains `upper`.
        let r_scc = self.constraint_sccs.scc(r);