Simplify make_query_region_constraints

This commit is contained in:
Michael Goulet
2025-07-13 19:22:09 +00:00
parent c2c9aad3f6
commit f6f2f83043
4 changed files with 15 additions and 23 deletions

View File

@@ -213,13 +213,7 @@ impl<'tcx> rustc_next_trait_solver::delegate::SolverDelegate for SolverDelegate<
// inside of a `probe` whenever we have multiple choices inside of the solver.
let region_obligations = self.0.inner.borrow().region_obligations().to_owned();
let region_constraints = self.0.with_region_constraints(|region_constraints| {
make_query_region_constraints(
self.tcx,
region_obligations
.iter()
.map(|r_o| (r_o.sup_type, r_o.sub_region, r_o.origin.to_constraint_category())),
region_constraints,
)
make_query_region_constraints(self.tcx, region_obligations, region_constraints)
});
let mut seen = FxHashSet::default();

View File

@@ -103,10 +103,7 @@ where
let region_constraint_data = infcx.take_and_reset_region_constraints();
let region_constraints = query_response::make_query_region_constraints(
infcx.tcx,
region_obligations
.iter()
.map(|r_o| (r_o.sup_type, r_o.sub_region, r_o.origin.to_constraint_category()))
.map(|(ty, r, cc)| (infcx.resolve_vars_if_possible(ty), r, cc)),
region_obligations,
&region_constraint_data,
);