Added compiler switch for constructors with records