Déclencheurs MYSQL :JSON_SEARCH une valeur entière dans un tableau json d'entiers

C'est par conception, bien que je ne sois pas d'accord avec l'équipe mySQL. Cela devrait être implémenté.

https://bugs.mysql.com/bug.php?id=79233 [fermé]