aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/utils.rs
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2021-04-07 20:26:24 +0100
committerFlorian Diebold <[email protected]>2021-04-08 13:08:55 +0100
commitb25b147e8604f62a5620a5833112e358ebeeb287 (patch)
tree9f5d3249d633c12e4908bc7cbcd0ba4f1c6ac833 /crates/hir_ty/src/utils.rs
parentdc0b5817366f9b7b99a1a1f6e69ca7ac63e9ed0f (diff)
Fix shifted_{in,out} calls
Diffstat (limited to 'crates/hir_ty/src/utils.rs')
-rw-r--r--crates/hir_ty/src/utils.rs4
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`).
3use std::sync::Arc; 3use std::sync::Arc;
4 4
5use chalk_ir::{BoundVar, DebruijnIndex}; 5use chalk_ir::{fold::Shift, BoundVar, DebruijnIndex};
6use hir_def::{ 6use 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,