diff options
author | Florian Diebold <[email protected]> | 2021-04-07 20:26:24 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-04-08 13:08:55 +0100 |
commit | b25b147e8604f62a5620a5833112e358ebeeb287 (patch) | |
tree | 9f5d3249d633c12e4908bc7cbcd0ba4f1c6ac833 /crates/hir_ty/src/traits | |
parent | dc0b5817366f9b7b99a1a1f6e69ca7ac63e9ed0f (diff) |
Fix shifted_{in,out} calls
Diffstat (limited to 'crates/hir_ty/src/traits')
-rw-r--r-- | crates/hir_ty/src/traits/chalk/mapping.rs | 2 |
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) => { |