"Brendan Jurd" <direvus@gmail.com> writes:
> So far I've only considered the '::' cast syntax suggested in the
> original proposal, e.g.:
> ARRAY[]::text[]
> I wonder whether we are also interested in catching CAST(), e.g.:
> CAST(ARRAY[] AS text[])
I think you'll find that it's just about impossible to not handle both,
because they look the same after the grammar gets done.
regards, tom lane