diff options
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, |