Re: Proving IS NOT NULL inference for ScalarArrayOpExpr's

[Tom Lane]

BTW, I just pushed a fix (e04a3905e) that adds a little more code
to clause_is_strict_for().  This shouldn't cause more than minor
rebasing pain for you, I hope.

                        regards, tom lane