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

Title

CI (CFBot)

Needs rebase! Needs rebase since yesterday. Failing since 3 days.
Additional links previous successfully applied patch (outdated):

Stats (from CFBot)

Unknown

Tags

Created

2026-06-22 06:45:39

Last modified

2026-08-01 01:55:28 (yesterday)

Latest email

2026-07-31 15:16:22 (yesterday)

Status

PG20-2 (2026-09-01 – 2026-09-30): Waiting on Author

PG20-1 (2026-07-01 – 2026-07-31): Moved to different CF

Target version

Authors

Richard Guo (richardguo)

Reviewers

Ayush Tiwari (aytiwari), Rui Zhao (zhaorui) 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-07-31 15:16:22 by Rui Zhao <zhaorui126 at gmail.com>
Latest attachment (0001-Don-t-take-a-local-Var-s-non-nullness-as-proof-about.patch) at 2026-07-31 15:16:22 from Rui Zhao <zhaorui126 at gmail.com>
Attachment (0001-Don-t-take-a-local-Var-s-non-nullness-as-proof-about.patch) at 2026-07-31 15:16:22 from Rui Zhao <zhaorui126 at gmail.com> (Patch: No)
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-08-01 01:55:28	Ayush Tiwari (aytiwari)	New status: Waiting on Author
2026-08-01 00:00:11	CFbot	Moved from CF PG20-1 to CF PG20-2
2026-07-31 15:39:32	CFbot	Patch needs rebase
2026-07-30 14:54:30	Rui Zhao (zhaorui)	Added zhaorui as reviewer
2026-07-28 07:18:00	Ayush Tiwari (aytiwari)	Added aytiwari as reviewer
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