From 4bd77250c71af3e5feac32cc8aac73c866aa9f83 Mon Sep 17 00:00:00 2001
From: Ayaz Hafiz <ayaz@rwx.com>
Date: Tue, 25 Oct 2022 12:07:56 -0500
Subject: [PATCH] Coalesce one signature type

---
 crates/compiler/constrain/src/expr.rs | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/crates/compiler/constrain/src/expr.rs b/crates/compiler/constrain/src/expr.rs
index c3e96030f2..99dd389e06 100644
--- a/crates/compiler/constrain/src/expr.rs
+++ b/crates/compiler/constrain/src/expr.rs
@@ -3132,14 +3132,15 @@ fn constraint_recursive_function(
 
             flex_info.vars.extend(new_infer_variables);
 
+            let signature_index = constraints.push_type(signature.clone());
+
             let annotation_expected = FromAnnotation(
                 loc_pattern,
                 arity,
                 AnnotationSource::TypedBody {
                     region: annotation.region,
                 },
-                // TODO coalesce with other signature_index
-                constraints.push_type(signature.clone()),
+                signature_index,
             );
 
             let (arg_types, _signature_closure_type, ret_type) = match &signature {
@@ -3226,8 +3227,6 @@ fn constraint_recursive_function(
 
             vars.push(expr_var);
 
-            let signature_index = constraints.push_type(signature.clone());
-
             let state_constraints = constraints.and_constraint(argument_pattern_state.constraints);
             let cons = [
                 constraints.let_constraint(