itsscb/rust-analyzer
1
0
Fork 0
mirror of https://github.com/rust-lang/rust-analyzer.git synced 2025-09-28 11:20:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

Shift vars when mapping Dyn

Browse Source
This commit is contained in:
jackh726 2025-08-13 19:50:15 +00:00
parent 65d12c4bab
commit fb53fdc1e4
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
crates/hir-ty/src/next_solver/mapping.rs
View File

@ -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() { let where_clause = match p.skip_binder() {
rustc_type_ir::ExistentialPredicate::Trait(trait_ref) => { rustc_type_ir::ExistentialPredicate::Trait(trait_ref) => {
let trait_ref = TraitRef::new( let trait_ref = TraitRef::new(