Hypothetically speaking, this may not always be the case in the future. Some day there might be an optimization where objects have .init up to the last non-`void` member.