fn ensure_nonzero_ids( category: &'static str, ids: &[u32], ) -> Result<(), DeclaredSpecMetadataError>