ed/Odin
1
0
Fork 0
mirror of https://github.com/Ed94/Odin.git synced 2026-08-06 07:38:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Disallow for x in y.(T) and for x in y.?

Browse Source
This commit is contained in:
gingerBill
2024-03-21 14:42:48 +00:00
parent 6e2efce670
commit c8cdb22f0b
1 changed files with 7 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/check_stmt.cpp
+7 -4
View File
@@ -1546,10 +1546,13 @@ gb_internal void check_range_stmt(CheckerContext *ctx, Ast *node, u32 mod_flags)
} }
} else if (operand.mode != Addressing_Invalid) { } else if (operand.mode != Addressing_Invalid) {
if (operand.mode == Addressing_OptionalOk || operand.mode == Addressing_OptionalOkPtr) { if (operand.mode == Addressing_OptionalOk || operand.mode == Addressing_OptionalOkPtr) {
Type *end_type = nullptr; Ast *expr = unparen_expr(operand.expr);
check_promote_optional_ok(ctx, &operand, nullptr, &end_type, false); if (expr->kind != Ast_TypeAssertion) { // Only for procedure calls
if (is_type_boolean(end_type)) { Type *end_type = nullptr;
check_promote_optional_ok(ctx, &operand, nullptr, &end_type, true); check_promote_optional_ok(ctx, &operand, nullptr, &end_type, false);
if (is_type_boolean(end_type)) {
check_promote_optional_ok(ctx, &operand, nullptr, &end_type, true);
}
} }
} }
bool is_ptr = is_type_pointer(operand.type); bool is_ptr = is_type_pointer(operand.type);