class RandomSet::CannotInferCount