“he thinks the GOP is likely to lose the election”
Only if the GOPe picks someone else at the convention, instead of the one with the most electoral votes, who is most likely to be Trump.
But I hope he actually gets to 1237, so the GOPe won’t be able to stop him.
I hope Trump gets to 1237 also, so there will be no excuses when Trump loses in a landslide.
When you do not nominate a conservative in the Republican party, you are going to lose.