diff options
author | Florian Diebold <[email protected]> | 2021-04-09 13:39:07 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-04-09 13:40:58 +0100 |
commit | fbe98047d419ade6c87ccf432eb9534393d20020 (patch) | |
tree | 08cae59c51c117dc2863d914f7c5a31cccf4ed5b /crates/hir_ty/src/lib.rs | |
parent | 8a2c4820821a9b266ed979ed9321431362cdb1b3 (diff) |
More cleanups / module docs
Diffstat (limited to 'crates/hir_ty/src/lib.rs')
-rw-r--r-- | crates/hir_ty/src/lib.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/crates/hir_ty/src/lib.rs b/crates/hir_ty/src/lib.rs index ef1bdefac..113234fa4 100644 --- a/crates/hir_ty/src/lib.rs +++ b/crates/hir_ty/src/lib.rs | |||
@@ -126,14 +126,14 @@ pub fn param_idx(db: &dyn HirDatabase, id: TypeParamId) -> Option<usize> { | |||
126 | generics(db.upcast(), id.parent).param_idx(id) | 126 | generics(db.upcast(), id.parent).param_idx(id) |
127 | } | 127 | } |
128 | 128 | ||
129 | pub fn wrap_empty_binders<T>(value: T) -> Binders<T> | 129 | pub(crate) fn wrap_empty_binders<T>(value: T) -> Binders<T> |
130 | where | 130 | where |
131 | T: Fold<Interner, Result = T> + HasInterner<Interner = Interner>, | 131 | T: Fold<Interner, Result = T> + HasInterner<Interner = Interner>, |
132 | { | 132 | { |
133 | Binders::empty(&Interner, value.shifted_in_from(&Interner, DebruijnIndex::ONE)) | 133 | Binders::empty(&Interner, value.shifted_in_from(&Interner, DebruijnIndex::ONE)) |
134 | } | 134 | } |
135 | 135 | ||
136 | pub fn make_only_type_binders<T: HasInterner<Interner = Interner>>( | 136 | pub(crate) fn make_only_type_binders<T: HasInterner<Interner = Interner>>( |
137 | num_vars: usize, | 137 | num_vars: usize, |
138 | value: T, | 138 | value: T, |
139 | ) -> Binders<T> { | 139 | ) -> Binders<T> { |