summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--typing/ctype.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/ctype.ml b/typing/ctype.ml
index 6463ac5fd..0fad4783a 100644
--- a/typing/ctype.ml
+++ b/typing/ctype.ml
@@ -354,7 +354,7 @@ let rec closed_schema_rec ty =
closed_schema_rec t1;
closed_schema_rec t2
| Tvariant row when static_row row ->
- iter_row closed_schema_rec row
+ iter_row closed_schema_rec {row with row_bound = []}
| _ ->
iter_type_expr closed_schema_rec ty
end