AFAIK, the serial monitor and/or “upload” will not automatically switch ports just because you have plugged in a different arduino, even if the old arduino is “gone.”
It’s really ambiguous what it “ought” to do, especially in the presence of “native usb” boards whose serial ports disappear and reappear with every reboot.