MYSQL-Trigger:JSON_SEARCH ein Ganzzahlwert in einem JSON-Array von Ganzzahlen

Es ist beabsichtigt, obwohl ich dem mySQL-Team nicht zustimmen kann. Dies sollte implementiert werden.

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