diff options
author | Florian Diebold <[email protected]> | 2021-04-08 13:21:22 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-04-08 13:23:17 +0100 |
commit | 8040f4a5e3792f95b3194e21b3f6d375fb7499c5 (patch) | |
tree | baf287e6d05568319662cd32d56ded5354edecd6 /crates/hir_ty/src/traits/chalk | |
parent | 8ce6fea325c001deeed2857da560fa5cfbc6eea3 (diff) |
Replace `make_binders` by the now equivalent `make_only_type_binders`
Diffstat (limited to 'crates/hir_ty/src/traits/chalk')
-rw-r--r-- | crates/hir_ty/src/traits/chalk/mapping.rs | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/crates/hir_ty/src/traits/chalk/mapping.rs b/crates/hir_ty/src/traits/chalk/mapping.rs index 54783b58c..4abc0fbf2 100644 --- a/crates/hir_ty/src/traits/chalk/mapping.rs +++ b/crates/hir_ty/src/traits/chalk/mapping.rs | |||
@@ -71,20 +71,6 @@ impl ToChalk for TypeAliasAsValue { | |||
71 | } | 71 | } |
72 | } | 72 | } |
73 | 73 | ||
74 | pub(super) fn make_binders<T>(value: T, num_vars: usize) -> chalk_ir::Binders<T> | ||
75 | where | ||
76 | T: HasInterner<Interner = Interner>, | ||
77 | { | ||
78 | chalk_ir::Binders::new( | ||
79 | chalk_ir::VariableKinds::from_iter( | ||
80 | &Interner, | ||
81 | std::iter::repeat(chalk_ir::VariableKind::Ty(chalk_ir::TyVariableKind::General)) | ||
82 | .take(num_vars), | ||
83 | ), | ||
84 | value, | ||
85 | ) | ||
86 | } | ||
87 | |||
88 | pub(super) fn convert_where_clauses( | 74 | pub(super) fn convert_where_clauses( |
89 | db: &dyn HirDatabase, | 75 | db: &dyn HirDatabase, |
90 | def: GenericDefId, | 76 | def: GenericDefId, |