A public exhaustive struct has a new public field. Constructions of it using struct literal syntax must now include the new field.