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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information