mark a branch as never reach

butterunderflow · Aug 17, 2024 · 06777e8 · 06777e8
1 parent fcb26c8
commit 06777e8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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