aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/lib.rs
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2021-04-05 18:15:13 +0100
committerFlorian Diebold <[email protected]>2021-04-05 18:21:03 +0100
commita316d583600e11ee1fcc8027a838efafe435f03c (patch)
treed4448b520724757956ba653e5c0a318b3abdb52c /crates/hir_ty/src/lib.rs
parentfbab69cbffed37291b463c0e57fade49581e1de2 (diff)
Rename shift_bound_vars{_out} to align with Chalk
Diffstat (limited to 'crates/hir_ty/src/lib.rs')
-rw-r--r--crates/hir_ty/src/lib.rs5
1 files changed, 3 insertions, 2 deletions
diff --git a/crates/hir_ty/src/lib.rs b/crates/hir_ty/src/lib.rs
index 827317fce..daf379ef8 100644
--- a/crates/hir_ty/src/lib.rs
+++ b/crates/hir_ty/src/lib.rs
@@ -124,7 +124,7 @@ impl<T> Binders<T> {
124 where 124 where
125 T: TypeWalk, 125 T: TypeWalk,
126 { 126 {
127 Binders::empty(&Interner, value.shift_bound_vars(DebruijnIndex::ONE)) 127 Binders::empty(&Interner, value.shifted_in_from(DebruijnIndex::ONE))
128 } 128 }
129} 129}
130 130
@@ -209,7 +209,8 @@ impl CallableSig {
209 params_and_return: fn_ptr 209 params_and_return: fn_ptr
210 .substs 210 .substs
211 .clone() 211 .clone()
212 .shift_bound_vars_out(DebruijnIndex::ONE) 212 .shifted_out_to(DebruijnIndex::ONE)
213 .expect("unexpected lifetime vars in fn ptr")
213 .interned() 214 .interned()
214 .iter() 215 .iter()
215 .map(|arg| arg.assert_ty_ref(&Interner).clone()) 216 .map(|arg| arg.assert_ty_ref(&Interner).clone())