Searched defs:region_constraints (Results 1 – 9 of 9) sorted by relevance
105 let region_constraints = query_response::make_query_region_constraints( in scrape_region_constraints() localVariable
159 let mut region_constraints = QueryRegionConstraints::default(); in fully_perform() localVariable
150 let mut region_constraints = self.infcx.with_region_constraints(|region_constraints| { in compute_external_query_constraints() localVariable
152 pub region_constraints: QueryRegionConstraints<'tcx>, field
301 pub region_constraints: QueryRegionConstraints<'tcx>, field
129 let region_constraints = self.with_region_constraints(|region_constraints| { in make_query_response() localVariable
387 let region_constraints = ocx.infcx.with_region_constraints(|r| r.clone()); in try_extract_error_from_fulfill_cx() localVariable
2750 pub region_constraints: Option<RegionConstraintData<'tcx>>, field
72 pub mod region_constraints; module