Joe Conway <mail(at)joeconway(dot)com> writes:
> Unless we can convince ourselves that array-of-UNKNOWN is not dangerous,
> I don't think this is easily solved.
One possibility that might handle Martijn's problem is to allow the
construct
ARRAY[]::type[]
that is, you can have an empty ARRAY construct only if you immediately
cast it to a specific array type. The application typically knows what
type the data is anyway, and if it just always plasters on the cast then
the syntax would work regardless of whether there are any elements or not.
regards, tom lane