Execution of JSON_REPLACE failed on Spider

How to repeat

On Spider:

CREATE TABLE tbl_a (

  i INT,

  j JSON,

  PRIMARY KEY(i)

) ENGINE=SPIDER, PARTITION BY ...

INSERT INTO tbl_a VALUES (1, '{ "a": 1, "b": [2, 3]}');

UPDATE tbl_a SET j = JSON_REPLACE(j, '$.a', 10, '$.c', '[1, 2]');

When the update statement is executed, it fails with

query 'UPDATE tbl_a SET j = JSON_REPLACE(j, '$.a', 10, '$.c', '[1, 2]')' failed: 1305: FUNCTION auto_test_remote.json_update does not exist

More critically, it will make the server crash on Windows on debug mode.

Suggest fix

https://github.com/MariaDB/server/pull/1735