From a13b39f1e1ea220a868d99508796d06492a40611 Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Sat, 6 Dec 2025 13:54:37 -0500
Subject: Allow discarding Empty() values

---
 src/typecheck.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/typecheck.c')

diff --git a/src/typecheck.c b/src/typecheck.c
index e432759b..6f8fa0ba 100644
--- a/src/typecheck.c
+++ b/src/typecheck.c
@@ -1539,7 +1539,7 @@ PUREFUNC bool is_discardable(env_t *env, ast_t *ast) {
     default: break;
     }
     type_t *t = get_type(env, ast);
-    return (t->tag == VoidType || t->tag == AbortType || t->tag == ReturnType);
+    return (t->tag == VoidType || t->tag == AbortType || t->tag == ReturnType || t == EMPTY_TYPE);
 }
 
 type_t *get_arg_ast_type(env_t *env, arg_ast_t *arg) {
-- 
cgit v1.2.3