HB.saturate failure

[affeldt-aist]

In the following development branch of MathComp-Analysis

https://github.com/affeldt-aist/analysis/tree/evt2_HB_bug_report_20240906

we have observed that an execution of the command

HB.saturate.

in the file tvs.v leads to this error message

Error: The elpi tactic/command HB.saturate failed without giving a specific
error message. Please report this inconvenience to the authors of the program.

We called the command for debugging purposes after a bunch of
HB.structure Definition's but it turns out that even when called
earlier in this file the same command produce the same error.

Environment:

• coq-hierarchy-builder 1.7.0
• Coq 8.20+rc1
• mathcomp 2.2.0

@mkerjean @cyrilcohen