Internal error in "src/loader/cmi.ml", line 933, characters 21-27: Assertion failed

[mefyl]

The Timmy project triggers this assertion when building the documentation.

The library makes extensive usage of dune select stanza to switch between modules, and the error only occurs if the schematic library is not available, so in all fairness it might explore some uncommon code paths.

[Julow]

Minimal reproduction: A functor that doesn't consume its argument and is then an alias. There's a case in the AST (Mty_alias) that is currently not implemented in Odoc.

module A (B : sig
  val foo : int
end) =
  String

Using String because it doesn't reproduce if the module is defined locally.