Searched refs:placeholders_contained_in (Results 1 – 2 of 2) sorted by relevance
319 crate fn placeholders_contained_in<'a>( in placeholders_contained_in() method338 self.placeholders_contained_in(r).map(RegionElement::PlaceholderRegion); in elements_contained_in()
707 self.scc_values.placeholders_contained_in(scc).next().is_none(), in apply_member_constraint()798 self.scc_values.placeholders_contained_in(scc_b).all(|p| universe_a.can_name(p.universe)) in universe_compatible()1483 debug_assert!(self.scc_values.placeholders_contained_in(longer_fr_scc).next().is_none()); in check_universal_region()