From 8040f4a5e3792f95b3194e21b3f6d375fb7499c5 Mon Sep 17 00:00:00 2001
From: Florian Diebold <flodiebold@gmail.com>
Date: Thu, 8 Apr 2021 14:21:22 +0200
Subject: Replace `make_binders` by the now equivalent `make_only_type_binders`

---
 crates/hir_ty/src/traits/chalk/mapping.rs | 14 --------------
 1 file changed, 14 deletions(-)

(limited to 'crates/hir_ty/src/traits/chalk/mapping.rs')

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 {
     }
 }
 
-pub(super) fn make_binders<T>(value: T, num_vars: usize) -> chalk_ir::Binders<T>
-where
-    T: HasInterner<Interner = Interner>,
-{
-    chalk_ir::Binders::new(
-        chalk_ir::VariableKinds::from_iter(
-            &Interner,
-            std::iter::repeat(chalk_ir::VariableKind::Ty(chalk_ir::TyVariableKind::General))
-                .take(num_vars),
-        ),
-        value,
-    )
-}
-
 pub(super) fn convert_where_clauses(
     db: &dyn HirDatabase,
     def: GenericDefId,
-- 
cgit v1.2.3