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) {