diff options
| author | jackh726 <git@jackhuey.me> | 2025-08-13 19:50:15 +0000 |
|---|---|---|
| committer | jackh726 <git@jackhuey.me> | 2025-08-13 19:50:15 +0000 |
| commit | 8e5818df2eb7d77f3cbed5cbf0c292e8a770d760 (patch) | |
| tree | 9306b157ef1265d03a968f02b67cbfe2b2d9b61d /src/tools/rust-analyzer | |
| parent | 23e8a1e1398f5c17f4c64fe740479c2df31c9fd0 (diff) | |
| download | rust-8e5818df2eb7d77f3cbed5cbf0c292e8a770d760.tar.gz rust-8e5818df2eb7d77f3cbed5cbf0c292e8a770d760.zip | |
Shift vars when mapping Dyn
Diffstat (limited to 'src/tools/rust-analyzer')
| -rw-r--r-- | src/tools/rust-analyzer/crates/hir-ty/src/next_solver/mapping.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/tools/rust-analyzer/crates/hir-ty/src/next_solver/mapping.rs b/src/tools/rust-analyzer/crates/hir-ty/src/next_solver/mapping.rs index 3a3206bef38..4696cf479c1 100644 --- a/src/tools/rust-analyzer/crates/hir-ty/src/next_solver/mapping.rs +++ b/src/tools/rust-analyzer/crates/hir-ty/src/next_solver/mapping.rs @@ -1147,6 +1147,9 @@ pub(crate) fn convert_ty_for_result<'db>(interner: DbInterner<'db>, ty: Ty<'db>) } }), ); + + let p = shift_vars(interner, p, 1); + let where_clause = match p.skip_binder() { rustc_type_ir::ExistentialPredicate::Trait(trait_ref) => { let trait_ref = TraitRef::new( |