Fix bug in unifying TVKind::Integer

noir-lang · Feb 15, 2024 · 6bc4e23 · 6bc4e23
1 parent 302737e
commit 6bc4e23
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/compiler/noirc_frontend/src/hir_def/types.rs b/compiler/noirc_frontend/src/hir_def/types.rs
@@ -984,7 +984,11 @@ impl Type {
 
         let this = self.substitute(bindings).follow_bindings();
         match &this {
-            Type::FieldElement | Type::Integer(..) => {
+            Type::Integer(..) => {
+                bindings.insert(target_id, (var.clone(), this));
+                Ok(())
+            }
+            Type::FieldElement if !only_integer => {
                 bindings.insert(target_id, (var.clone(), this));
                 Ok(())
             }