MariaDB JSON_SEARCH函数不适用于Variable

Question

我正在尝试创建MariaDB函数。 我正在使用MariaDB ..！

SET @j = '["abc", [{"k": "10"}, "def"], {"x":"abc"}, {"y":"bcd"}]';
SELECT JSON_SEARCH(@j, 'one', 'abc');
//output: 
"$[0]" //it's ok.

上面的一个正在工作，但是，我想在json_search函数（下面一个）中传递变量值代替“ abc”：

SET @j = '["abc", [{"k": "10"}, "def"], {"x":"abc"}, {"y":"bcd"}]';
SET @val = (SELECT val FROM users WHERE id = 1); // abc
SELECT JSON_SEARCH(@j, 'one', @val);
//output:
NULL //It's not working with variable @val

有什么解决方法？