Fix Unable to initialize a typeid field in a struct literal #501

1 files changed, 3 insertions, 4 deletions

diff --git a/src/check_expr.cpp b/src/check_expr.cpp
index 81095db4a..fad3a4df0 100644
--- a/src/check_expr.cpp
+++ b/src/check_expr.cpp
@@ -7299,7 +7299,7 @@ ExprKind check_expr_base_internal(CheckerContext *c, Operand *o, Ast *node, Type
 					}
 
 					fields_visited[sel.index[0]] = true;
-					check_expr_with_type_hint(c, o, fv->value, field->type);
+					check_expr_or_type(c, o, fv->value, field->type);
 
 					if (is_type_any(field->type) || is_type_union(field->type) || is_type_raw_union(field->type)) {
 						is_constant = false;
@@ -7308,7 +7308,6 @@ ExprKind check_expr_base_internal(CheckerContext *c, Operand *o, Ast *node, Type
 						is_constant = o->mode == Addressing_Constant;
 					}
 
-
 					check_assignment(c, o, field->type, str_lit("structure literal"));
 				}
 			} else {
@@ -7334,9 +7333,9 @@ ExprKind check_expr_base_internal(CheckerContext *c, Operand *o, Ast *node, Type
 						field = t->Struct.fields[index];
 					}
 
-					check_expr_with_type_hint(c, o, elem, field->type);
+					check_expr_or_type(c, o, elem, field->type);
 
-					if (is_type_any(field->type) || is_type_union(field->type) || is_type_raw_union(field->type)) {
+					if (is_type_any(field->type) || is_type_union(field->type) || is_type_raw_union(field->type) || is_type_typeid(field->type)) {
 						is_constant = false;
 					}
 					if (is_constant) {