"David G. Johnston" <david(dot)g(dot)johnston(at)gmail(dot)com> writes:
> The fact that a domain over an array isn’t being seen as an array here
> seems like a bug.
Hmm. The attached quick-hack patch seems to make this better, but
I'm not sure whether there are any cases it makes worse.
regards, tom lane