[
https://issues.apache.org/jira/browse/FLINK-33541?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17788340#comment-17788340
]
Benchao Li commented on FLINK-33541:
------------------------------------
I haven't looked into the details yet. One general thought is, {{IF}}'s operand
type checker should allow operands which can derive a common type, {{INT}} and
{{INT NOT NULL}} are definitely have a common type {{INT}}, so we should allow
it. No matter how we transformed {{IF}} into other forms, it should not break
this assumption.
Feel free to summit a PR to fix it [~xuyangzhong].
> RAND_INTEGER can't be existed in a IF statement
> ------------------------------------------------
>
> Key: FLINK-33541
> URL: https://issues.apache.org/jira/browse/FLINK-33541
> Project: Flink
> Issue Type: Bug
> Components: Table SQL / API
> Affects Versions: 1.17.0, 1.18.0
> Reporter: Guojun Li
> Priority: Major
>
> The minimum produce steps:
> Flink SQL> select if(1=1, rand_integer(100), 0);
> [ERROR] Could not execute SQL statement. Reason:
> java.lang.Exception: Unsupported operand types: IF(boolean, INT, INT NOT NULL)
>
> But we do not see the exception reported in 1.14, not sure which version this
> bug was introduced.
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
