But they had to switch to Republican to do so, right?
Yes, but these Dems who switched to Republican to vote against Trump in the primary, will vote for the Dem in the general.