diff options
| author | Nicholas Nethercote <n.nethercote@gmail.com> | 2025-07-25 20:34:36 +1000 |
|---|---|---|
| committer | Nicholas Nethercote <n.nethercote@gmail.com> | 2025-07-31 20:04:51 +1000 |
| commit | 066a973312066b792c5de4b41b92dcb437f22bac (patch) | |
| tree | c23a8cdb7b9ca7579eb485cec461e80511b91f89 /compiler/rustc_trait_selection/src/solve/delegate.rs | |
| parent | 75a1f47750fb34031f00cc2ee2b0d385426bec94 (diff) | |
| download | rust-066a973312066b792c5de4b41b92dcb437f22bac.tar.gz rust-066a973312066b792c5de4b41b92dcb437f22bac.zip | |
Overhaul `Constraint`.
This commit changes it to store a `Region` instead of a `RegionVid` for the `Var` cases: - We avoid having to call `Region::new_var` to re-create `Region`s from `RegionVid`s in a few places, avoiding the interning process, giving a small perf win. (At the cost of the type allowing some invalid combinations of values.) - All the cases now store two `Region`s, so the commit also separates the `ConstraintKind` (a new type) from the `sub` and `sup` arguments in `Constraint`.
Diffstat (limited to 'compiler/rustc_trait_selection/src/solve/delegate.rs')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/delegate.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/delegate.rs b/compiler/rustc_trait_selection/src/solve/delegate.rs index 7426504e139..96c6e589373 100644 --- a/compiler/rustc_trait_selection/src/solve/delegate.rs +++ b/compiler/rustc_trait_selection/src/solve/delegate.rs @@ -205,7 +205,6 @@ impl<'tcx> rustc_next_trait_solver::delegate::SolverDelegate for SolverDelegate< let region_assumptions = self.0.inner.borrow().region_assumptions().to_owned(); let region_constraints = self.0.with_region_constraints(|region_constraints| { make_query_region_constraints( - self.tcx, region_obligations, region_constraints, region_assumptions, |