src/type_infer/convert.rs

@@ -307,10 +307,12 @@ fn convert_expression(
                 merge_prereq(&mut prereqs, prereq);
             }
 
+            let result_type = ir::TypeOrVar::Structure(type_fields);
+
             constraint_db.push(Constraint::NamedTypeIs(
                 loc.clone(),
                 name.clone().intern(),
-                ir::TypeOrVar::Structure(type_fields),
+                result_type.clone(),
             ));
             let result =
                 ir::Expression::Construct(loc, result_type.clone(), name.intern(), result_fields);