Skip to content

Commit fb53fdc

Browse files
committed
Shift vars when mapping Dyn
1 parent 65d12c4 commit fb53fdc

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

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)