On Fri, 9 Oct 2026 at 13:49, zengxx <xiangxin_zeng(at)qq(dot)com> 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/