Improve update expr type semantics for ternary expressions

1 files changed, 7 insertions, 0 deletions

diff --git a/src/checker.cpp b/src/checker.cpp
index d93618ef5..05e7c9d4b 100644
--- a/src/checker.cpp
+++ b/src/checker.cpp
@@ -4427,6 +4427,13 @@ void check_parsed_files(Checker *c) {
 			if (is_type_typed(info->type)) {
 				compiler_error("%s (type %s) is typed!", expr_to_string(expr), type_to_string(info->type));
 			}
+			if (info->mode == Addressing_Constant) {
+			} else if (info->type == t_untyped_nil) {
+			} else if (info->type == t_untyped_undef) {
+			} else if (info->type == t_untyped_bool) {
+			} else {
+				gb_printf_err("UNTYPED %s %s\n", expr_to_string(expr), type_to_string(info->type));
+			}
 			add_type_and_value(&c->info, expr, info->mode, info->type, info->value);
 		}
 	}