Assert_failure("typing/ctype.ml", 359, 6) #6123
Original bug ID: 6123
While trying to compile the attached module, typechecker fails an assertion. The module is not well-typed; on 3.x this results in a type error.
Steps to reproduce
The text was updated successfully, but these errors were encountered: