Prove a NOT IN's left-hand expressions non-nullable from quals

Edit
ID 6920
Title Prove a NOT IN's left-hand expressions non-nullable from quals
CI (CFBot) Summary
Stats (from CFBot) Patch version: v1, Patch count: 1, First patch: +399−54, All patches: +399−54
Tags
Created 2026-06-22 06:45:39
Last modified 2026-06-22 06:45:39 (1 hour ago)
Latest email 2026-06-19 01:13:25 (3 days ago)
Status
PG20-1 (2026-07-01 – 2026-07-31): Needs review
Target version 20
Authors Richard Guo (richardguo)
Reviewers Become reviewer
Committer
Links
Emails
Prove a NOT IN's left-hand expressions non-nullable from quals
First at 2026-06-19 01:13:25 by Richard Guo <guofenglinux at gmail.com>
Latest at 2026-06-19 01:13:25 by Richard Guo <guofenglinux at gmail.com>
Latest attachment (v1-0001-Prove-a-NOT-IN-s-left-hand-expressions-non-nullab.patch) at 2026-06-19 01:13:25 from Richard Guo <guofenglinux at gmail.com>
    Attachment (v1-0001-Prove-a-NOT-IN-s-left-hand-expressions-non-nullab.patch) at 2026-06-19 01:13:25 from Richard Guo <guofenglinux at gmail.com> (Patch: Yes)
History
When Who What
2026-06-22 06:45:39 Richard Guo (richardguo) Attached mail thread CAMbWs4_TNUs1jn7q0J-=Esz7ziiFdjDAtW4x2u6tv6H5hhmhDA@mail.gmail.com
2026-06-22 06:45:39 Richard Guo (richardguo) Created patch record
Edit