What error are you getting?
I tried your query and I had to add an explicit cast to smallint[] to
make it work. Like this:
... a.attnum = any ((select conkey FROM pg_catalog.pg_constraint WHERE
> oid = 3708025)::smallint[]);
It seems strange to me, I didn't expect the ANY clause to need that
cast. Or maybe I'm missing something.
Cheers.