BUG #8934: value != ANY (uuid[]) AND expr does not work in all cases

The following bug has been logged on the website:

Bug reference: 8934
Logged by: Marcus Overheu
Email address: marcusoverheu(at)gmail(dot)com
PostgreSQL version: 9.2.4
Operating system: ubuntu 12.04.3
Description:

if you have a table ala.
create table uuidtest( aint integer, auuid uuid);

insert into uuidtest VALUES (1, 'ab15ea27-8768-4cbe-a1fb-02a2a949a34d'),
(1, '1c9e9ce5-d4d8-4a14-9eaf-929f27e09ba2');

then
select * from uuidtest where auuid = ANY
(ARRAY['1c9e9ce5-d4d8-4a14-9eaf-929f27e09ba2','ab15ea27-8768-4cbe-a1fb-02a2a949a34d']::uuid[])
and aint = 1;
return 2 result
which would mean that if using not in

select * from uuidtest where auuid != ANY
(ARRAY['1c9e9ce5-d4d8-4a14-9eaf-929f27e09ba2','ab15ea27-8768-4cbe-a1fb-02a2a949a34d']::uuid[])
and aint = 1;

would return zero, but it stills returns 2 results.