From 42f46595c8a4c0ece74adfd245c511393e1a83df Mon Sep 17 00:00:00 2001 From: Aryan Baranwal Date: Fri, 24 Apr 2026 10:47:30 +0530 Subject: [PATCH] fix(sema): validate return ternary conditions Signed-off-by: Aryan Baranwal --- src/sema/statements.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/sema/statements.rs b/src/sema/statements.rs index ffa089cfc..d5c705276 100644 --- a/src/sema/statements.rs +++ b/src/sema/statements.rs @@ -2042,6 +2042,8 @@ fn return_with_values( )?; used_variable(ns, &cond, symtable); + let cond = cond.cast(&cond.loc(), &Type::Bool, true, ns, diagnostics)?; + let left = return_with_values(left, &left.loc(), context, symtable, ns, diagnostics)?; used_variable(ns, &left, symtable);