itsscb/rust-analyzer
1
0
Fork 0
mirror of https://github.com/rust-lang/rust-analyzer.git synced 2025-10-01 11:31:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

add comment

Browse Source
This commit is contained in:
jackh726 2025-08-15 03:07:43 +00:00
parent c3cad7d3f4
commit 651ec4b08b
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1148,6 +1148,13 @@ pub(crate) fn convert_ty_for_result<'db>(interner: DbInterner<'db>, ty: Ty<'db>)
}), }),
); );
// Rust and chalk have slightly different
// representation for trait objects.
//
// Chalk uses `for<T0> for<'a> T0: Trait<'a>` while rustc
// uses `ExistentialPredicate`s, which do not have a self ty.
// We need to shift escaping bound vars by 1 to accommodate
// the newly introduced `for<T0>` binder.
let p = shift_vars(interner, p, 1); let p = shift_vars(interner, p, 1);
let where_clause = match p.skip_binder() { let where_clause = match p.skip_binder() {