Skip to content

Commit 8e5818d

Browse files
committed
Shift vars when mapping Dyn
1 parent 23e8a1e commit 8e5818d

File tree

1 file changed

+3
-0
lines changed
  • src/tools/rust-analyzer/crates/hir-ty/src/next_solver

1 file changed

+3
-0
lines changed

src/tools/rust-analyzer/crates/hir-ty/src/next_solver/mapping.rs

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1147,6 +1147,9 @@ pub(crate) fn convert_ty_for_result<'db>(interner: DbInterner<'db>, ty: Ty<'db>)
11471147
}
11481148
}),
11491149
);
1150+
1151+
let p = shift_vars(interner, p, 1);
1152+
11501153
let where_clause = match p.skip_binder() {
11511154
rustc_type_ir::ExistentialPredicate::Trait(trait_ref) => {
11521155
let trait_ref = TraitRef::new(

0 commit comments

Comments
 (0)