Replace `make_binders` by the now equivalent `make_only_type_binders`

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 {
     }
 }
 
-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,