The ALTER TABLE ... MODIFY COLUMN statement modifies a column on an existing table. The modification can include changing the data type and attributes. To rename the column at the same time, use the ...
This test case may need to be executed multiple times in order to reproduce the issue. I also tested it on versions v8.5.2 and v8.5.0, and the same problem occurred. If the SQL statement ALTER TABLE ...