I assume nobody on the field knows the exact rule but that's how most umpires would handle the situation. Still seem inexcusable to me to make that pitching change and not see that he's not on your own lineup card in your hand and pinned in your dugout.