Comment

ocaml-flambda · Dec 20, 2024 · 21854ee · 21854ee
1 parent 21ad377
commit 21854ee
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/typing/ctype.ml b/typing/ctype.ml
@@ -2210,6 +2210,8 @@ let rec estimate_type_jkind ~expand_component env ty =
       else
         jkind
     with
+    (* CR layouts v2.8: It will be confusing when a [Cannot_subst] leads to
+       a [Missing_cmi]. *)
     | Cannot_subst | Not_found -> Jkind.Builtin.any ~why:(Missing_cmi p)
     end
   | Tobject _ -> Jkind.for_object