hierarchy-builder Bogus error: The conclusion of a builder is a mixin whose parameters

we write this error even if extract-conclusion-params from the builder type fails, and it fails if
one argument is a Pack on a subject other than the current subject, since the code of copy-pack-holes only works if there is a Pack on the subject (it should not fails but succeed doing nothing
@pi8027 has an example where a legitimate builder has a parameter that is a Pack on a constant (and its class), I don't know why

Jul 03 '24 15:07 gares

Fixed by #433?

Oct 03 '24 12:10 pi8027

@SamuelArsac this might be related to your error. If you ever manage to minimize, please link post the minimization here.

Oct 03 '24 13:10 CohenCyril

@samuelarsac, could you check that your error disappears with HB 1.7.1 ?

Dec 11 '24 13:12 CohenCyril

The error still happens with HB 1.7.1, I will create a new issue with a link to my code.

Dec 11 '24 14:12 SamuelArsac