Re: Query result differences between PostgreSQL 17 vs 16

On Tue, Mar  4, 2025 at 04:30:26PM +0900, Richard Guo wrote:
> On Tue, Mar 4, 2025 at 12:22 AM Tom Lane <tgl@sss.pgh.pa.us> wrote:
> > Richard Guo <guofenglinux@gmail.com> writes:
> > > Here is an updated patch, which also includes the test case you found
> > > proving the no-clone-quals limitation in restriction_is_always_false
> > > is also needed.
> 
> > LGTM.
> 
> Pushed and back-patched to v17.  The fix will be included in next
> minor release (17.5).

Uh, if we fixed this for NULL optimization and backpatched, should we do
the same for:

    Parameter NOT NULL to CREATE DOMAIN not the same as CHECK (VALUE IS NOT NULL)
    https://www.postgresql.org/message-id/flat/173591158454.714.7664064332419606037%40wrigleys.postgresql.org

-- 
  Bruce Momjian  <bruce@momjian.us>        https://momjian.us
  EDB                                      https://enterprisedb.com

  Do not let urgent matters crowd out time for investment in the future.