Replace assertion with a match statement (ocaml-flambda#1225)

xclerc · Mar 17, 2023 · 3e5fce6 · 3e5fce6
1 parent 0045bb7
commit 3e5fce6
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/ocaml/typing/types.ml b/ocaml/typing/types.ml
@@ -591,7 +591,11 @@ let get_id t = (repr t).id
 module Transient_expr = struct
   let create desc ~level ~scope ~id = {desc; level; scope; id}
   let set_desc ty d = ty.desc <- d
-  let set_stub_desc ty d = assert (ty.desc = Tvar None); ty.desc <- d
+  let set_stub_desc ty d =
+    (match ty.desc with
+    | Tvar None -> ()
+    | _ -> assert false);
+    ty.desc <- d
   let set_level ty lv = ty.level <- lv
   let set_scope ty sc = ty.scope <- sc
   let coerce ty = ty