From 1d314808a99fc190b6de83717fe46a3eca7654f5 Mon Sep 17 00:00:00 2001
From: Sam Vervaeck <samvv@pm.me>
Date: Tue, 23 May 2023 21:51:14 +0200
Subject: [PATCH] Fix match-expressions not being properly type-checked

---
 src/Checker.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Checker.cc b/src/Checker.cc
index fe2820f44..b34b64b6d 100644
--- a/src/Checker.cc
+++ b/src/Checker.cc
@@ -636,8 +636,8 @@ namespace bolt {
           auto NewCtx = createInferContext();
           Contexts.push_back(NewCtx);
           inferBindings(Case->Pattern, ValTy);
-          auto Ty = inferExpression(Case->Expression);
-          addConstraint(new CEqual(Ty, Ty, Case->Expression));
+          auto ResTy = inferExpression(Case->Expression);
+          addConstraint(new CEqual(ResTy, Ty, Case->Expression));
           Contexts.pop_back();
         }
         if (!Match->Value) {