{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"debug!(?non_local_ub);"}]}
            debug!(?non_local_ub);
            let non_local_ub = self.universal_region_relations.non_local_upper_bounds(ur);