fn incr<T: AtomicInt>(value: &T) -> Result<<T as AtomicInt>::Prim, <T as AtomicInt>::Prim> {
    value.fetch_update(
        Ordering::SeqCst,
        Ordering::SeqCst,
        |i| Some(if i == T::MAX { T::MIN } else { i + T::ONE })
    )
}

let value = AtomicU8::new(255);
assert_eq!(incr(&value), Ok(255));
assert_eq!(incr(&value), Ok(0));