feat(expr): support implicit cast of arguments for table and aggregate functions

[wangrunji0408]

I hereby agree to the terms of the RisingWave Labs, Inc. Contributor License Agreement.

What's changed and what's your intention?

This PR resolves #13205. Table functions and aggregate functions now support implicit cast.

  dev=> SELECT jsonb_each('{"a": 1}');
- ERROR:  QueryError: Bind error: failed to bind expression: jsonb_each('{"a": 1}')
- Caused by:
-  Expr error: Unsupported function: jsonb_each
+  jsonb_each 
+ ------------
+  (a,1)

  dev=> select bool_or('false');
- ERROR:  QueryError: Bind error: failed to bind expression: bool_or('false')
- Caused by:
-   Expr error: Unsupported function: bool_or
+  bool_or 
+ ---------
+  f

To achieve that, the infer_type method is reused for table functions and aggregate functions.

Next, to handle special cases in AggCall::infer_return_type, this PR defines these functions in expr_impl crate, with a newly introduced unimplemented tag. Functions defined like this are visible in the signature map, but can not be built in the backend.

#[aggregate("avg(int2) -> decimal", unimplemented)]
fn _avg() {}

This PR also merges retractable and append-only aggregate into one signature. Otherwise, infer_type might find 2 functions even if there is only one:

dev=> select bool_and(true);
ERROR:  QueryError

Caused by these errors (recent errors listed first):
  1: Failed to bind expression: bool_and(true)
  2: Bind error: function Aggregate(BoolAnd)[Boolean] is not unique
HINT:  Could not choose a best candidate function. You might need to add explicit type casts.

Similarly, the internal sum(int8) -> int8 is marked as deprecated to prevent not unique error.

Checklist

• I have written necessary rustdoc comments
• I have added necessary unit tests and integration tests
• I have added test labels as necessary. See details.
• I have added fuzzing tests or opened an issue to track them. (Optional, recommended for new SQL features Sqlsmith: Sql feature generation #7934).
• My PR contains breaking changes. (If it deprecates some features, please create a tracking issue to remove them in the future).
• All checks passed in ./risedev check (or alias, ./risedev c)
• My PR changes performance-critical code. (Please run macro/micro-benchmarks and show the results.)

• My PR contains critical fixes that are necessary to be merged into the latest release. (Please check out the details)

Documentation

• My PR needs documentation updates. (Please use the Release note section below to summarize the impact on users)

[stdrc]

It's really great to see AggCall::infer_return_type being removed!

[stdrc]

Rest LGTM!

[stdrc]

Is it better to have another field representing internal? Since internal functions may also be deprecated. Not a strong opinion though.

[wangrunji0408]

internal is just an alias of deprecated. They are the same from the view of signature. 🤔

[codecov]

Codecov Report

Attention: 57 lines in your changes are missing coverage. Please review.

Comparison is base (ce73e80) 68.31% compared to head (b55ff3d) 68.26%.

Files	Patch %	Lines
src/expr/impl/src/aggregate/general.rs	61.11%	28 Missing ⚠️
src/frontend/src/expr/agg_call.rs	11.76%	15 Missing ⚠️
...rc/frontend/src/optimizer/plan_node/generic/agg.rs	68.42%	6 Missing ⚠️
src/frontend/src/binder/select.rs	0.00%	2 Missing ⚠️
src/expr/core/src/sig/mod.rs	97.67%	1 Missing ⚠️
src/expr/impl/src/scalar/date_trunc.rs	50.00%	1 Missing ⚠️
src/expr/impl/src/scalar/to_char.rs	50.00%	1 Missing ⚠️
src/expr/impl/src/scalar/to_timestamp.rs	50.00%	1 Missing ⚠️
src/expr/macro/src/gen.rs	95.83%	1 Missing ⚠️
src/frontend/src/expr/type_inference/func.rs	95.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main   #13545      +/-   ##
==========================================
- Coverage   68.31%   68.26%   -0.06%     
==========================================
  Files        1523     1523              
  Lines      261730   261805      +75     
==========================================
- Hits       178794   178714      -80     
- Misses      82936    83091     +155     

Flag	Coverage Δ
rust	68.26% <75.74%> (-0.06%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.