'void' initialization means uninitialized. This applies to fields, as well, meaning that the .init value of an aggregate with void initializations will have unreliable values in those locations. This is why 'void' initializers don't belong in safe code, and reading 'void' initialized data will get you implementation defined data.