diff options
author | Florian Diebold <[email protected]> | 2021-04-05 18:15:13 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-04-05 18:21:03 +0100 |
commit | a316d583600e11ee1fcc8027a838efafe435f03c (patch) | |
tree | d4448b520724757956ba653e5c0a318b3abdb52c /crates/hir_ty/src/lib.rs | |
parent | fbab69cbffed37291b463c0e57fade49581e1de2 (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.rs | 5 |
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()) |