aboutsummaryrefslogtreecommitdiff
path: root/src/typecheck.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/typecheck.c')
-rw-r--r--src/typecheck.c2
1 files changed, 1 insertions, 1 deletions
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) {