Assertion fails when recursive types are enabled
Enabling recursive types at line 281 of client/Client.ml
causes the assertion assert (0 < rank && rank <= state.young);
at line 287 of src/Generalization.ml
to fail. Run make test
to reproduce.