Specifies that this constructor sets all required members for the current type, and callers do not need to set any required members themselves.