aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/infer/expr.rs
diff options
context:
space:
mode:
Diffstat (limited to 'crates/hir_ty/src/infer/expr.rs')
-rw-r--r--crates/hir_ty/src/infer/expr.rs3
1 files changed, 1 insertions, 2 deletions
diff --git a/crates/hir_ty/src/infer/expr.rs b/crates/hir_ty/src/infer/expr.rs
index 9f5624eb0..c584a2c08 100644
--- a/crates/hir_ty/src/infer/expr.rs
+++ b/crates/hir_ty/src/infer/expr.rs
@@ -75,14 +75,13 @@ impl<'a> InferenceContext<'a> {
75 self.db.trait_data(fn_once_trait).associated_type_by_name(&name![Output])?; 75 self.db.trait_data(fn_once_trait).associated_type_by_name(&name![Output])?;
76 76
77 let mut arg_tys = vec![]; 77 let mut arg_tys = vec![];
78 let parameters = Substitution::builder(num_args) 78 let arg_ty = TyBuilder::tuple(num_args)
79 .fill(repeat_with(|| { 79 .fill(repeat_with(|| {
80 let arg = self.table.new_type_var(); 80 let arg = self.table.new_type_var();
81 arg_tys.push(arg.clone()); 81 arg_tys.push(arg.clone());
82 arg 82 arg
83 })) 83 }))
84 .build(); 84 .build();
85 let arg_ty = TyKind::Tuple(num_args, parameters).intern(&Interner);
86 85
87 let projection = { 86 let projection = {
88 let b = TyBuilder::assoc_type_projection(self.db, output_assoc_type); 87 let b = TyBuilder::assoc_type_projection(self.db, output_assoc_type);