aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/traits/chalk/mapping.rs
diff options
context:
space:
mode:
Diffstat (limited to 'crates/hir_ty/src/traits/chalk/mapping.rs')
-rw-r--r--crates/hir_ty/src/traits/chalk/mapping.rs14
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
74pub(super) fn make_binders<T>(value: T, num_vars: usize) -> chalk_ir::Binders<T>
75where
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
88pub(super) fn convert_where_clauses( 74pub(super) fn convert_where_clauses(
89 db: &dyn HirDatabase, 75 db: &dyn HirDatabase,
90 def: GenericDefId, 76 def: GenericDefId,