product jkinds should not be best

ocaml-flambda · Jan 31, 2025 · c55f834 · c55f834
1 parent 81bba57
commit c55f834
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/typing/jkind.ml b/typing/jkind.ml
@@ -1605,7 +1605,6 @@ module Builtin = struct
       { layout; mod_bounds = Bounds.max; with_bounds = No_with_bounds }
     in
     fresh_jkind_poly desc ~annotation:None ~why:(Product_creation why)
-    |> mark_best
 end
 
 let add_nullability_crossing t =