From 06777e86a3eee38124d12fe62eb45ea6720035ee Mon Sep 17 00:00:00 2001
From: butterunderflow <azhong.934@gmail.com>
Date: Sun, 18 Aug 2024 01:09:52 +0800
Subject: [PATCH] mark a branch as never reach

---
 lib/typing/unify.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/typing/unify.ml b/lib/typing/unify.ml
index c3db4aa..eefe017 100644
--- a/lib/typing/unify.ml
+++ b/lib/typing/unify.ml
@@ -23,7 +23,7 @@ let occurs (tpv : tv ref) (te : ty) : unit =
         let[@warning "-8"] (Unbound (_, level)) = !tpv in
         let min_level = min level level' in
         tpv'.contents <- Unbound (tvn', min_level)
-    | Ty_qvar _ -> ()
+    | Ty_qvar _ -> failwith "internal error: unify with quantified type variable"
     | Ty_arrow (te1, te2) ->
         go te1;
         go te2