pub async fn get_t_plus_one<T, E: Display, F: Future<Output = Result<T, E>>>( replicas: &[(ReplicaId, SocketAddr)], t: u64, req: impl FnMut(SocketAddr) -> F, ) -> Option<Box<[T]>>