From 12a7cbf8ef911f0cbfcbd13d1c888025fa411de4 Mon Sep 17 00:00:00 2001
From: Joel Kronqvist <joel.kronqvist@iki.fi>
Date: Fri, 22 Aug 2025 23:48:35 +0300
Subject: fix: added missing conversions and generic inferring for coproducts

---
 src/type/check.rs | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/type/check.rs')

diff --git a/src/type/check.rs b/src/type/check.rs
index 5ccd0e7..bb88efb 100644
--- a/src/type/check.rs
+++ b/src/type/check.rs
@@ -510,6 +510,14 @@ impl Type {
                 Ok(r1)
             },
 
+            (SumType(a1, a2), SumType(b1, b2)) => {
+                let mut r1 = a1.infer_generics_ctx(b1, ctx.clone())?;
+                let r2 = a2.infer_generics_ctx(b2, ctx.clone())?;
+                r1.extend_from_slice(&r2);
+                r1.extend_from_slice(&ctx);
+                Ok(r1)
+            },
+
             (List(v1), List(v2)) => {
                 let mut res = ctx.clone();
                 for (t1, t2) in v1.into_iter().zip(v2.into_iter()) {
-- 
cgit v1.2.3