From 903c957c7e686401e12bf52ad0ac00d0efa6fd30 Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Mon, 22 Dec 2025 18:07:12 -0500
Subject: Bugfix for `Success || Void` typechecking

---
 src/types.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/types.h')

diff --git a/src/types.h b/src/types.h
index 66e6ba12..df5729ca 100644
--- a/src/types.h
+++ b/src/types.h
@@ -142,6 +142,7 @@ PUREFUNC bool type_eq(type_t *a, type_t *b);
 PUREFUNC bool type_is_a(type_t *t, type_t *req);
 type_t *type_or_type(type_t *a, type_t *b);
 type_t *value_type(type_t *a);
+PUREFUNC bool is_discardable_type(type_t *t);
 typedef enum {
     NUM_PRECISION_EQUAL,
     NUM_PRECISION_LESS,
-- 
cgit v1.2.3