![[Jenkins]](/ocaml/static/db2b9b32/images/svgs/logo.svg){kind=logo}
Summary
- Fix #14200 (without breaking pr7321_ok.ml) (#14202) (details)
| The file was modified | testsuite/tests/typing-misc/variance.ml (diff) |
| The file was modified | Changes (diff) |
| The file was modified | typing/includecore.ml (diff) |
| The file was modified | testsuite/tests/typing-misc/variance.ml (diff) |
| The file was modified | Changes (diff) |
| The file was modified | typing/includecore.ml (diff) |