If your program's auto-save works like that, it's broken.

Almost none do, though. Auto-save almost always writes to a temporary file, that is erased when you save manually.

Google Docs and VS Code are the first two that come to mind for autosave and they don't use a temp file.

	▲	marcosdumay 3 hours ago \| parent \| next [-]
		Yeah, source code editors tend to do that. They integrate with external tools that expect to read those files, so if they don't overwrite them, those tools would run the wrong version. It would still be better if they didn't. Text editors shouldn't do that though. And those shared-view editors that don't have the concept of saving have this very relevant drawback.
	▲	jakevoytko 3 hours ago \| parent \| prev [-]
		Fun fact: I was on the Google Docs team from 2010-2015. Save didn't do anything but we still hooked up an impression to the keystroke to measure how often people tried to save. It was one of the top things people did in the app at first; it was comparable to how often people would bold and unbold text. And then as people gained confidence it went down over time.