Predicated write to the same location the statement in doc is still ambiguous

Today I found a predicated write to the same location in shared memory with only one thread truly writes may fail.
The doc does say
“If the instruction executed by a warp writes to the same location in global or shared memory for more than one of the threads of the warp, how many writes occur to that location and the order in which they occur is undefined, but one of the writes is guaranteed to succeed.”
But it doesn’t mention anything about whether “writes” include predicated write that doesn’t actually write.
Maybe the predicate thing should be stated more clearly in doc.