Searched refs:universal_upper_bound (Results 1 – 1 of 1) sorted by relevance
1066 let lub = self.universal_upper_bound(r); in non_local_universal_upper_bound()1092 pub(crate) fn universal_upper_bound(&self, r: RegionVid) -> RegionVid { in universal_upper_bound() method