Fixtype of initializers with optional designations [C:6.7.9] [C:A.2.2].
This is a product type introduced by fty::defprod.
This has no direct corresponding nonterminal in the grammar in [C], but it is useful to define initializer-list, which is a non-empty sequence of initializers with designations. An optional designation [C:6.7.9] [C:A.2.2] is captured here as a list of designators (see designor), where the empty list means that the designation is absent, while a non-empty list captures the designation, which has a non-empty list of designators.