![[Jenkins]](/ocaml/static/8707ff75/images/svgs/logo.svg){kind=logo}
Summary
- Fix #13658 (details)
| The file was added | testsuite/tests/typing-labels/pr13658.ml |
| The file was modified | typing/typecore.ml (diff) |
| The file was modified | Changes (diff) |
| The file was modified | typing/out_type.ml (diff) |
| The file was added | testsuite/tests/typing-labels/pr13658.ml |
| The file was modified | typing/typecore.ml (diff) |
| The file was modified | Changes (diff) |
| The file was modified | typing/out_type.ml (diff) |