RENAME INDEX schlägt fehl

Wenn eine Migration mit dem Fehler fehlschlägt, dass ein Index nicht umbenannt werden kann, dann einfach erst den gewünschten neuen Index erstellen und anschließend den überflüssigen löschen:

/*        $this->addSql('ALTER TABLE answer RENAME INDEX idx_9474526c1e27f6bf TO IDX_DADD4A251E27F6BF'); */
$this->addSql('CREATE INDEX IDX_DADD4A251E27F6BF ON answer (question_id)');
$this->addSql('DROP INDEX idx_9474526c1e27f6bf ON answer');

Die erste Zeile ist die fehlerhafte. Die beiden darunter sind diejenigen Zeilen, die den fehlerhaften Befehl ersetzen.