universes_of_constant: do a proper set union of body and type univs

Before the union was performed as a UContext.t union, that
concatenates the instances arrays, while one wants to avoid
duplicates.

We also assert that polymorphic constants have all constraints
in the constant_body (field const_universes), since the extra body
univs (stored in the opaque tables) are just for regular constants
processed asynchronously.

0 files changed, 0 insertions, 0 deletions