1. A machine-implemented method for enforcing the use of designated initializers in structured data type initializations, comprising: determining whether a structured data type requires designated initialization; determining whether an initialization of a structured variable declared to use said structured data type employs an improper initializer that is inconsistent with said structured data type; and performing a diagnostic action if said initialization comprises an improper initializer.