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/utils.rs | |
parent | dc0b5817366f9b7b99a1a1f6e69ca7ac63e9ed0f (diff) |
Fix shifted_{in,out} calls
Diffstat (limited to 'crates/hir_ty/src/utils.rs')
-rw-r--r-- | crates/hir_ty/src/utils.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/crates/hir_ty/src/utils.rs b/crates/hir_ty/src/utils.rs index 8d5d5cd73..d26f5152c 100644 --- a/crates/hir_ty/src/utils.rs +++ b/crates/hir_ty/src/utils.rs | |||
@@ -2,7 +2,7 @@ | |||
2 | //! query, but can't be computed directly from `*Data` (ie, which need a `db`). | 2 | //! query, but can't be computed directly from `*Data` (ie, which need a `db`). |
3 | use std::sync::Arc; | 3 | use std::sync::Arc; |
4 | 4 | ||
5 | use chalk_ir::{BoundVar, DebruijnIndex}; | 5 | use chalk_ir::{fold::Shift, BoundVar, DebruijnIndex}; |
6 | use hir_def::{ | 6 | use hir_def::{ |
7 | db::DefDatabase, | 7 | db::DefDatabase, |
8 | generics::{ | 8 | generics::{ |
@@ -69,7 +69,7 @@ fn direct_super_trait_refs(db: &dyn HirDatabase, trait_ref: &TraitRef) -> Vec<Tr | |||
69 | // FIXME: how to correctly handle higher-ranked bounds here? | 69 | // FIXME: how to correctly handle higher-ranked bounds here? |
70 | WhereClause::Implemented(tr) => Some( | 70 | WhereClause::Implemented(tr) => Some( |
71 | tr.clone() | 71 | tr.clone() |
72 | .shifted_out_to(DebruijnIndex::ONE) | 72 | .shifted_out_to(&Interner, DebruijnIndex::ONE) |
73 | .expect("FIXME unexpected higher-ranked trait bound"), | 73 | .expect("FIXME unexpected higher-ranked trait bound"), |
74 | ), | 74 | ), |
75 | _ => None, | 75 | _ => None, |