Constant VALIDATE_COLLECTION_EMPTY 

pub const VALIDATE_COLLECTION_EMPTY: DiagnosticInfo;