From d512b33da51e2a94690cf145d05479d6ec4860f6 Mon Sep 17 00:00:00 2001
From: Baitinq <manuelpalenzuelamerino@gmail.com>
Date: Fri, 6 Jun 2025 00:36:46 +0200
Subject: Feature: Typecheck on struct field assignment

---
 src/codegen.zig | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/codegen.zig')

diff --git a/src/codegen.zig b/src/codegen.zig
index 8f2b9fa..0cc2367 100644
--- a/src/codegen.zig
+++ b/src/codegen.zig
@@ -215,6 +215,8 @@ pub const CodeGen = struct {
                 const x = try self.get_struct_field(xd, name);
 
                 const variable = try self.generate_expression_value(assignment_statement.rhs, null);
+                std.debug.print("7TYP {s}: {any} vs {any} -- {any}\n", .{ name, x.type, variable.node_type.TYPE, variable.node });
+                std.debug.assert(self.compare_types(x.type, variable.node_type, assignment_statement.is_dereference));
                 _ = llvm.LLVMBuildStore(self.builder, variable.value, x.value);
             },
             else => unreachable,
-- 
cgit 1.4.1