James Coleman <jtc331@gmail.com> writes:
>> - Prove IS NOT NULL inference for large arrays
>>
>> NR: No idea.
> As the fairly new author of this patch, my perspective is that this
> patch got quite a bit of review, albeit without a formal "yes or no"
> response.
FWIW, I ran out of time for that patch during the January 'fest, but
I think it still has a good shot at getting committed during March.
regards, tom lane