Re: Failed Assertion about PolymorphicType

Jaime Casanova <jaime.casanova@2ndquadrant.com> writes:
> Running sqlsmith on master i got an assertion failure on parse_coerce.c:2049

Hmph, or more simply:

regression=# select array_in('{1,2,3}',23,-1);
server closed the connection unexpectedly

which is a case that worked before.  The core of the problem is
that array_in() violates the assumption that a polymorphic result
requires a polymorphic argument:

regression=# \df array_in
                            List of functions
   Schema   |   Name   | Result data type |  Argument data types  | Type 
------------+----------+------------------+-----------------------+------
 pg_catalog | array_in | anyarray         | cstring, oid, integer | func
(1 row)

I see that enforce_generic_type_consistency did not use to assert
that it'd resolved every polymorphic rettype.  So I think we should just
remove that assertion (and fix the incorrect comment that led to
adding it).

            regards, tom lane