Re: Parameter types are inferred from context of first use only.

On 2018-08-09 05:24, Bruce Momjian wrote:
> On Mon, Jul 23, 2018 at 09:14:48AM +0000, PG Doc comments form wrote:
>> The following documentation comment has been logged on the website:
>>
>> Page: https://www.postgresql.org/docs/10/static/sql-prepare.html
>> Description:
>>
>> Background can be found on the bugs list (pgsql-bug #15289). It was
>> explained that when a prepared statement parameter needs to have its type
>> inferred then, should the parameter be used more than once, only the first
>> use is considered. (The example in that report is that the type of $1 can be
>> inferred from "($1 = col) or ($1 is null)" but not from "($1 is null) or ($1
>> = col)".)
>>
>> The documentation as it stands says only that the parameter's type is
>> inferred from the context in which it is used. The "first use only" proviso
>> is not mentioned (hence "context" isn't so broad as to consist of all of the
>> expressions in which the parameter appears).
>
> I have developed the attached patch to cover what you found.
>

That says it for me. The third mention of context doesn't need anything
because it's referring specifically to the (single) use of $2 in the
example. I have to presume the type inference happens before any
structural changes that might change the meaning of "first occurrence".

Nick