On Fri, 9 Oct 2026 at 13:49, zengxx <[email protected]> wrote: > The proof is still intentionally narrow.
There is a much more sophisticated patch that can do what you're proposing here plus lots more in [1]. I suggest you abandon this patch in favour of reviewing that one. David. [1] https://commitfest.postgresql.org/patch/7045/
