diff options
| author | lcnr <rust@lcnr.de> | 2025-08-26 15:23:57 +0200 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2025-09-08 14:17:56 +0200 |
| commit | 28a0e77d1318210540fa1a561b9a8af08e2ffe40 (patch) | |
| tree | 7ca0230acef083e8784a310b8efb376a0fcff167 /compiler/rustc_trait_selection | |
| parent | 2cb04b960fb8ae7f29401cd982bdb829b6c54a03 (diff) | |
| download | rust-28a0e77d1318210540fa1a561b9a8af08e2ffe40.tar.gz rust-28a0e77d1318210540fa1a561b9a8af08e2ffe40.zip | |
pass `sub_relations` into canonical queries
Diffstat (limited to 'compiler/rustc_trait_selection')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/delegate.rs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/delegate.rs b/compiler/rustc_trait_selection/src/solve/delegate.rs index 448fc025be6..44230624ddb 100644 --- a/compiler/rustc_trait_selection/src/solve/delegate.rs +++ b/compiler/rustc_trait_selection/src/solve/delegate.rs @@ -237,13 +237,14 @@ impl<'tcx> rustc_next_trait_solver::delegate::SolverDelegate for SolverDelegate< canonical.instantiate(self.tcx, &values) } - fn instantiate_canonical_var_with_infer( + fn instantiate_canonical_var( &self, kind: CanonicalVarKind<'tcx>, span: Span, + var_values: &[ty::GenericArg<'tcx>], universe_map: impl Fn(ty::UniverseIndex) -> ty::UniverseIndex, ) -> ty::GenericArg<'tcx> { - self.0.instantiate_canonical_var(span, kind, universe_map) + self.0.instantiate_canonical_var(span, kind, var_values, universe_map) } fn add_item_bounds_for_hidden_type( |