[
https://issues.apache.org/jira/browse/CALCITE-6723?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Mihai Budiu updated CALCITE-6723:
---------------------------------
Description:
The type inference is implemented in SqlLibraryOperators.arrayInsertReturnType.
Since the spec of the function says that "if the index is larger than the
array, the array is padded with NULL values", it implies that the type of the
result is always an array with nullable elements, irrespective of the type of
the elements of the input array.
Currently the type inference preserves the element type in the result.
was:
The type inference is implemented in SqlLibraryOperators.arrayInsertReturnType.
This function computes the return type as a function of the types of arguments
0 and 2.
However, if argument 1 is nullable, the result type has to be nullable as well.
> Type inference for ARRAY_INSERT function is incorrect
> -----------------------------------------------------
>
> Key: CALCITE-6723
> URL: https://issues.apache.org/jira/browse/CALCITE-6723
> Project: Calcite
> Issue Type: Bug
> Components: core
> Affects Versions: 1.38.0
> Reporter: Mihai Budiu
> Assignee: Mihai Budiu
> Priority: Minor
>
> The type inference is implemented in
> SqlLibraryOperators.arrayInsertReturnType.
> Since the spec of the function says that "if the index is larger than the
> array, the array is padded with NULL values", it implies that the type of the
> result is always an array with nullable elements, irrespective of the type of
> the elements of the input array.
> Currently the type inference preserves the element type in the result.
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
