I wrote:
> Yeah, the possibility of a PHV in the qual refutes that argument.
> So we need to make the test honestly, as in the other arms of that
> switch. Will fix.
Actually ... it seems like we could just drop that Assert, as per
revised argument in the comment. This'd explain the lack of field
complaints: there's no bug in a production build.
regards, tom lane