mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-06 15:57:39 +08:00
logic, dissuade planner from thinking that 'x IS DISTINCT FROM 42' may be optimized into 'x = 42' (!!), cause dependency on = operator to be recorded correctly, minor other improvements.