Andrew Dunstan <andrew(at)dunslane(dot)net> writes:
> Pushed something along these lines. In master I also added a code
> comment so nobody might be tempted to "fix" the anomaly.
There is still a commitfest entry [1] pointing at this thread.
Should it be closed as committed, or is there more to do?
regards, tom lane
[1] https://commitfest.postgresql.org/51/5394/