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_next_trait_solver/src/delegate.rs | |
| parent | 2cb04b960fb8ae7f29401cd982bdb829b6c54a03 (diff) | |
| download | rust-28a0e77d1318210540fa1a561b9a8af08e2ffe40.tar.gz rust-28a0e77d1318210540fa1a561b9a8af08e2ffe40.zip | |
pass `sub_relations` into canonical queries
Diffstat (limited to 'compiler/rustc_next_trait_solver/src/delegate.rs')
| -rw-r--r-- | compiler/rustc_next_trait_solver/src/delegate.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/rustc_next_trait_solver/src/delegate.rs b/compiler/rustc_next_trait_solver/src/delegate.rs index 7b932010d49..4460e9ad2f1 100644 --- a/compiler/rustc_next_trait_solver/src/delegate.rs +++ b/compiler/rustc_next_trait_solver/src/delegate.rs @@ -57,12 +57,14 @@ pub trait SolverDelegate: Deref<Target = Self::Infcx> + Sized { where V: TypeFoldable<Self::Interner>; - fn instantiate_canonical_var_with_infer( + fn instantiate_canonical_var( &self, kind: ty::CanonicalVarKind<Self::Interner>, span: <Self::Interner as Interner>::Span, + var_values: &[<Self::Interner as Interner>::GenericArg], universe_map: impl Fn(ty::UniverseIndex) -> ty::UniverseIndex, ) -> <Self::Interner as Interner>::GenericArg; + fn add_item_bounds_for_hidden_type( &self, def_id: <Self::Interner as Interner>::DefId, |