aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/traits/chalk
diff options
context:
space:
mode:
Diffstat (limited to 'crates/hir_ty/src/traits/chalk')
-rw-r--r--crates/hir_ty/src/traits/chalk/mapping.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/hir_ty/src/traits/chalk/mapping.rs b/crates/hir_ty/src/traits/chalk/mapping.rs
index c2e289660..62cf0fecf 100644
--- a/crates/hir_ty/src/traits/chalk/mapping.rs
+++ b/crates/hir_ty/src/traits/chalk/mapping.rs
@@ -288,7 +288,7 @@ pub(super) fn generic_predicate_to_inline_bound(
288) -> Option<chalk_ir::Binders<rust_ir::InlineBound<Interner>>> { 288) -> Option<chalk_ir::Binders<rust_ir::InlineBound<Interner>>> {
289 // An InlineBound is like a GenericPredicate, except the self type is left out. 289 // An InlineBound is like a GenericPredicate, except the self type is left out.
290 // We don't have a special type for this, but Chalk does. 290 // We don't have a special type for this, but Chalk does.
291 let self_ty_shifted_in = self_ty.clone().shifted_in_from(DebruijnIndex::ONE); 291 let self_ty_shifted_in = self_ty.clone().shifted_in_from(&Interner, DebruijnIndex::ONE);
292 let (pred, binders) = pred.as_ref().into_value_and_skipped_binders(); 292 let (pred, binders) = pred.as_ref().into_value_and_skipped_binders();
293 match pred { 293 match pred {
294 WhereClause::Implemented(trait_ref) => { 294 WhereClause::Implemented(trait_ref) => {