Du kannst keine file.wav mit einer file.mp3 überschreiben.
Um das zu versuchen, habe ich extra eine Opfer-Datei WAV erzeugt und ausgewählt zum Überschreiben.
Kommt die Meldung:
Während die Meldung noch steht, sehe ich im File-Browser, dass diese Datei nun 0 Bytes groß ist.
Nach dem Schließen der Meldung wird sie auch nicht größer, ist also zerstört. Aber überschrieben wurde sie nicht (böse grins), da hast du Recht.