NULL in arrays

A person (cross) in the irc channel have found a bug with the new arrays.
Here is what I did to reproduce:

dennis=# CREATE TABLE foo (a int[]);
CREATE TABLE
dennis=# INSERT INTO foo VALUES (ARRAY[2,NULL]);
INSERT 25353 1

That last insert contains a NULL value which are not allowed in arrays and
yet a insert is performed. The table contains a NULL value afterwards
(and no array).

This is something that should be fixed for 7.4.2, so that it gives an
error instead of inserting bad data.

--
/Dennis Björklund