mirrors/Odin
1
0
Fork 0
mirror of https://github.com/odin-lang/Odin.git synced 2025-12-29 09:24:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix #5506

Browse Source
This commit is contained in:
gingerBill
2025-11-02 15:21:12 +00:00
parent 7f2ab31acc
commit ee36f6fe33
1 changed files with 14 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
src/check_expr.cpp
View File

@@ -9248,6 +9248,20 @@ gb_internal ExprKind check_ternary_if_expr(CheckerContext *c, Operand *o, Ast *n
return kind;
}
if (x.mode == Addressing_Builtin && y.mode == Addressing_Builtin) {
if (type_hint == nullptr) {
error(node, "Built-in procedures cannot be used within a ternary expression since they have no well-defined signature");
return kind;
}
}
if (x.mode == Addressing_ProcGroup && y.mode == Addressing_ProcGroup) {
if (type_hint == nullptr) {
error(node, "Procedure groups cannot be used within a ternary expression since they have no well-defined signature that can be inferred without a context");
return kind;
}
}
// NOTE(bill, 2023-01-30): Allow for expression like this:
// x: union{f32} = f32(123) if cond else nil
if (type_hint && !is_type_any(type_hint)) {