Default values for fixed can be longer than size

A value longer than the specified size can be put into "default" property of a "fixed" field.

Behaviour in this case is not documented.

This should either be forbidden or documented. Even adding a UB warning in the documentation would be better than the current situation.