mirrors/Odin
1
0
Fork 0
mirror of https://github.com/odin-lang/Odin.git synced 2026-04-06 06:38:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

allow in-progress union variants when validating union members

Browse Source 
Fixes: #5961
This commit is contained in:
Leandro Libanio
2026-04-01 12:39:48 -03:00
parent 52701390ce
commit c8cd8dd2db
1 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/check_type.cpp
View File

@@ -796,11 +796,19 @@ gb_internal void check_union_type(CheckerContext *ctx, Type *union_type, Ast *no
if (t != nullptr && t != t_invalid) {
bool ok = true;
t = default_type(t);
if (is_type_untyped(t) || is_type_empty_union(t)) {
if (is_type_untyped(t)) {
ok = false;
gbString str = type_to_string(t);
error(node, "Invalid variant type in union '%s'", str);
gb_string_free(str);
} else if (is_type_empty_union(t)) {
Type *base = base_type(t);
if (base == nullptr || base->kind != Type_Union || base->Union.node == nullptr) {
ok = false;
gbString str = type_to_string(t);
error(node, "Invalid variant type in union '%s'", str);
gb_string_free(str);
}
} else {
for_array(j, variants) {
if (union_variant_index_types_equal(t, variants[j])) {