Failed to build docs for lascar.0.7.0

[jonludlam]

Backtrace is:

odoc: internal error, uncaught exception:
      File "src/xref2/cpath.ml", line 364, characters 37-43: Assertion failed
      Raised at Odoc_xref2__Cpath.unresolve_resolved_parent_path in file "src/xref2/cpath.ml", line 364, characters 37-49
      Called from Odoc_xref2__Cpath.unresolve_module_path in file "src/xref2/cpath.ml", line 349, characters 28-60
      Called from Odoc_xref2__Tools.fragmap.map_module_decl in file "src/xref2/tools.ml", line 1792, characters 48-80
      Called from Odoc_xref2__Tools.fragmap.map_signature.(fun) in file "src/xref2/tools.ml", line 1849, characters 12-40
      Called from Odoc_xref2__Tools.fragmap.handle_intermediate in file "src/xref2/tools.ml", line 1907, characters 4-60
      Called from Stdlib__List.fold_left in file "list.ml", line 121, characters 24-34
      Called from Odoc_xref2__Tools.expansion_of_module_type_expr.(fun) in file "src/xref2/tools.ml", line 1673, characters 6-44
      Called from Odoc_xref2__Tools.expansion_of_module in file "src/xref2/tools.ml", line 1710, characters 2-38
      Called from Odoc_xref2__Tools.resolve_signature_fragment.(fun) in file "src/xref2/tools.ml", line 2176, characters 10-36
      Called from Odoc_xref2__Tools.resolve_signature_fragment in file "src/xref2/tools.ml", line 2157, characters 6-51
      Called from Odoc_xref2__Tools.resolve_type_fragment in file "src/xref2/tools.ml", line 2256, characters 6-51
      Called from Odoc_xref2__Compile.module_type_expr_sub in file "src/xref2/compile.ml", line 507, characters 16-73
      Called from Stdlib__List.fold_left in file "list.ml", line 121, characters 24-34
      Called from Odoc_xref2__Compile.module_type_map_subs in file "src/xref2/compile.ml", line 645, characters 12-137
      Called from Odoc_xref2__Compile.u_module_type_expr.inner in file "src/xref2/compile.ml", line 663, characters 16-54
      Called from Odoc_xref2__Compile.module_type_expr in file "src/xref2/compile.ml", line 721, characters 23-55
      Called from Odoc_xref2__Compile.module_decl in file "src/xref2/compile.ml", line 381, characters 34-64
      Called from Odoc_xref2__Compile.module_ in file "src/xref2/compile.ml", line 375, characters 19-67
      Called from Odoc_xref2__Compile.signature_items.loop in file "src/xref2/compile.ml", line 277, characters 21-34
      Called from Odoc_xref2__Compile.signature in file "src/xref2/compile.ml", line 364, characters 19-49
      Called from Odoc_xref2__Compile.simple_expansion in file "src/xref2/compile.ml", line 454, characters 30-51
      Called from Odoc_xref2__Compile.module_type_expr.get_expansion in file "src/xref2/compile.ml", line 698, characters 17-44
      Called from Odoc_xref2__Compile.module_type_expr in file "src/xref2/compile.ml", line 712, characters 24-51
      Called from Odoc_xref2__Compile.module_type_expr in file "src/xref2/compile.ml", line 732, characters 17-74
      Called from Odoc_xref2__Compile.module_type_expr in file "src/xref2/compile.ml", line 732, characters 17-74
      Called from Odoc_xref2__Compile.module_decl in file "src/xref2/compile.ml", line 381, characters 34-64
      Called from Odoc_xref2__Compile.module_ in file "src/xref2/compile.ml", line 375, characters 19-67
      Called from Odoc_xref2__Compile.signature_items.loop in file "src/xref2/compile.ml", line 277, characters 21-34
      Called from Odoc_xref2__Compile.signature in file "src/xref2/compile.ml", line 364, characters 19-49
      Called from Odoc_xref2__Compile.content.(fun) in file "src/xref2/compile.ml", line 100, characters 15-54
      Called from Odoc_xref2__Compile.unit in file "src/xref2/compile.ml", line 68, characters 21-47
      Called from Odoc_xref2__Lookup_failures.with_ref in file "src/xref2/lookup_failures.ml", line 13, characters 10-14
      Called from Odoc_xref2__Lookup_failures.catch_failures in file "src/xref2/lookup_failures.ml", line 60, characters 20-37
      Called from Odoc_odoc__Compile.resolve_and_substitute in file "src/odoc/compile.ml", line 148, characters 4-49
      Called from Odoc_model__Error.catch in file "src/model/error.ml", line 54, characters 21-27
      Called from Odoc_model__Error.catch_warnings.(fun) in file "src/model/error.ml", line 89, characters 18-22
      Called from Odoc_model__Error.with_ref in file "src/model/error.ml", line 67, characters 12-16
      Re-raised at Odoc_model__Error.with_ref in file "src/model/error.ml", line 72, characters 4-11
      Called from Odoc_odoc__Compile.compile.(fun) in file "src/odoc/compile.ml", line 401, characters 6-206
      Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 24, characters 19-24
      Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 22, characters 12-19
      Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 35, characters 37-44

See https://sage.caelum.ci.dev/job/2025-05-17/083900-voodoo-do-78dd6b