Re: Re: BUG #11178: JSONB : The NOT operator applies to the <@ operator, even after casting to ::bool

David G Johnston <david.g.johnston@gmail.com> writes:
> cpronovost wrote
>> When using the <@ operator in conjunction with the NOT operator on a jsonb
>> column, the NOT reverse the <@ operator(becomes a @>).

> The presence of "NOT" does not (aside from a possible bug) change the "<@"
> operator into the "@>" operator.  "NOT" simply inverts the supplied boolean
> value so that "not(true) := false" and vice-versa.

That's what it's *supposed* to do, but somebody got the pg_operator entry
wrong.  It looks to me like pg_operator OIDs 3246 and 3250 should be
listed as each others' commutators, not each others' negators.

Sigh.  So much for no initdb for 9.4beta3.  I wonder whether there are
other thinkos in the jsonb operator entries...

            regards, tom lane