I agree about those postconditions
but really void-safety is nice to remove such postcondition which becomes more noisy than informative.
However, there are still non void-safe code.