I went ahead and created a commitfest entry for this:
https://commitfest.postgresql.org/patch/7385/
Please let me know if I've done anything incorrectly!
On Sat, Sep 26, 2026 at 9:26 AM Nate Clark <natec425(at)gmail(dot)com> wrote:
>
> > Your analysis also looks correct for me, would you share a patch with
> > result->flag = ALLISTRUE; -> result->flag |= ALLISTRUE; ?
>
> Of course. I've attached a patch with that one line change.
>
> Please let me know if there is anything else I should do, and thanks
> for your help!