Alvaro Herrera <alvherre@2ndquadrant.com> writes:
> [ shrug ] It seemed to require no further work, so I just pushed Tom's
> proposed change.
> I added an empty line after the new combined assertion, which makes
> clearer (to me anyway) that the other assertions are unrelated.
Actually, the thing I wanted to add was some actual comments for
those other assertions. But that requires a bit of research that
I hadn't made time for...
regards, tom lane