Formally: struct initializer syntax is very powerful and has only one restriction, but the consequence of this power is lack of redundancy with the usual consequences.