Do we even get here? Isn't this blocked by the `case s @ WriteMessagesSuccess`?