Joe Conway <mail@joeconway.com> writes:
> Tom Lane wrote:
>> I think we could make enforce_generic_type_consistency() clearer by
>> adding an additional argument "bool allow_poly" which specifies
>> whether polymorphic "actual" argument and result types are allowed.
> This sounds like a reasonable plan to me.
>> Although this problem really goes quite far back, I think it's probably
>> not interesting to back-patch further than 8.2, because AFAICS the
>> interesting cases involve aggregates with more than one argument.
> I agree, especially since this is the first time anyone has complained.
I've applied a patch along these lines, although I desisted from
back-patching it. It seems a bit like a new feature, and also I'm not
100% sure we have all the bases covered even yet.
regards, tom lane