Just to be crystal clear: you can deadlock an otherwise logically sound async program by using a blocking lock instead of a yielding lock.

I’d call that an unforced programmer error.