Whatever is your writeWaitFree, nothing can stop another thread to do plain writes.

In that case no other thread can make progress.

I agree that this is a very unlikely case, but the case when a thread is halted inside the critical region can also appear only as a consequence of some bug, and such unlikely occurrences cannot justify wasting time at every access of shared data by using a too complicated wait-free algorithm.