Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The size assertion in the comment was inverted compared to the code. After fixing that the implication that `(new_size >= old_size) => new_size != 0` still doesn't hold so explain why `old_size != 0` at this point.
- Loading branch information