fix union common type inference

on-keyday · Jan 1, 2025 · 44338e5 · 44338e5
1 parent aa7b6e6
commit 44338e5
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/core/middle/typing.cpp b/src/core/middle/typing.cpp
@@ -1723,7 +1723,12 @@ namespace brgen::middle {
                     continue;
                 }
                 if (!u->common_type) {
-                    u->common_type = f->field_type;
+                    if (auto is_union = ast::as<ast::UnionType>(f->field_type)) {
+                        u->common_type = is_union->common_type;
+                    }
+                    else {
+                        u->common_type = f->field_type;
+                    }
                 }
                 else {
                     u->common_type = common_type(u->common_type, f->field_type);