Richard Guo <guofenglinux@gmail.com> writes:
> Here is the patch.
Thanks for that. The code and comment added to
restriction_is_always_true look good, but I can't help wondering
whether we don't need the same in restriction_is_always_false.
Not very sure what a query proving the need for that would
look like, but leaving it asymmetric feels wrong.
regards, tom lane