sql/jsonpath: disallow index acceleration for jsonb_path_exists with variables

We don't allow index acceleration for jsonb_path_exists filter if it takes a variable
list in its parameters. For example, `jsonb_path_exists(b, '$.a ? (@.b == $x)', '{"x": "c"}')`
(where `'{"x": "c"}'` is the variable list) is not allowed.

Release note: None

Author: ZhouXing19

pkg/sql/logictest/testdata/logic_test/jsonb_path_exists_index_acceleration

@@ -545,3 +545,14 @@ SELECT a FROM json_tab@primary WHERE jsonb_path_exists('{"a": {"b": "c"}}', '$.a
 
 statement error index "foo_inv" is inverted and cannot be used for this query
 SELECT a FROM json_tab@foo_inv WHERE jsonb_path_exists('{"a": {"b": "c"}}', '$.a.b') ORDER BY a;
+
+# We don't index accelerate jsonb_path_exists clause with variables.
+query I
+SELECT a FROM json_tab@primary WHERE jsonb_path_exists(b, '$.a ? (@.b == $x)', '{"x": "c"}') ORDER BY a;
+----
+3
+9
+19
+
+statement error index "foo_inv" is inverted and cannot be used for this query
+SELECT a FROM json_tab@foo_inv WHERE jsonb_path_exists(b, '$.a ? (@.b == $x)', '{"x": "c"}') ORDER BY a;

pkg/sql/opt/invertedidx/json_array.go

@@ -416,7 +416,7 @@ func (j *jsonOrArrayFilterPlanner) extractInvertedFilterConditionFromLeaf(
 		invertedExpr = j.extractArrayOverlapsCondition(ctx, evalCtx, t.Left, t.Right)
 	case *memo.FunctionExpr:
 		if t.Properties.Category == builtinconstants.CategoryJsonpath && t.Name == "jsonb_path_exists" {
-			if len(t.Args) > 1 {
+			if len(t.Args) == 2 {
 				// The first parameter has to be a column reference.
 				if isIndexColumn(j.tabID, j.index, t.Args[0], j.computedColumns) {
 					if ce, ok := t.Args[1].(*memo.ConstExpr); ok {