Mysql 8.0 обрабатывает json с escape-меткой '\' ⇐ MySql

[Anonymous]

Код: Выделить всё

SET @v = '{"a":" \\u3b7e - c:\\user\\abc - \\"ET\\" "}';

SET @j = CAST(@v AS JSON);

не удалось Код ошибки: 3141. Неверный текст JSON в аргументе 1 функции cast_as_json: «Неверная шестнадцатеричная цифра после escape-символа \u в строке». в позиции 18.
потому что cast_as_json попытается декодировать '\user', который не является escape-символом.
если это так, c:\\\\user\\\ \abc, всё нормально.
Попробовал SET @v = REPLACE(@v, '\\', '\\\\');, получилось сломает экранирование другой строки.
Пробовал

Код: Выделить всё

 SET @v = CONVERT(@v USING ASCII);

, не имеет значения, какая кодировка.
Правило MySQL '\\' -> '\', '\u3b7e' -> '㭾'.
Json правило " -> " в строке
Я не знаю, как это решить.

Подробнее здесь: https://stackoverflow.com/questions/793 ... scape-mark