Andres Freund <andres@anarazel.de> writes:
> On 2020-01-16 18:01:53 +0100, Tomas Vondra wrote:
>> and it's only really used in debug builds anyway. So I'm not all that
>> woried about this wasting a couple extra kB of memory.
> IDK, making memory usage look different makes optimizing it harder. Not
> a hard rule, obviously, but ...
Well, if you're that excited about it, make a patch so we can see
how ugly it ends up being.
regards, tom lane