"David G. Johnston" <david.g.johnston@gmail.com> writes:
> On Sun, Aug 18, 2019 at 8:53 AM PG Doc comments form <noreply@postgresql.org>
>> Noticed strange thin with @>
>> Query "select '{1,2}'::int[] @> '{1,2,2,2,2,2,2,2}'::int[]" returns true,
>> but first array contains even less elements then second.
>> I think it's a bug in "contains" logic, but don't know where to submit it.
> Its a valid interpretation of "contains", for this purpose each array is
> treated like a set (ignoring the cardinality of elements, and overall
> dimensionality), but it needs to be documented as behaving that way on that
> page.
Done now.
regards, tom lane