{"ast_node_type":"function","tokens":[{"end":82,"kind":"keyword","start":0,"text":"pub(crate)"}]}
    pub(crate) fn approx_universal_upper_bound(&self, r: RegionVid) -> RegionVid {
    #[instrument(level = "debug", skip(self))]
        debug!("{}", self.region_value_str(r));