Fixtype of static assertion declarations [C:6.7.10] [C:A.2.2].
This is a product type introduced by fty::defprod.
This corresponds to static_assert-declaration in the grammar in [C].