Most Cruz supporters will vote for Trump when faced with the stark choice of Trump vs. Hillary. The obsessive compulsive Trump haters aren't a significant demographic.
.
The nominee will be Cruz unless the people remaining to vote lose their minds in large enough numbers for Trump to hit the magic number.
So the real problem will be the rabid Trumpers.
Will they vote for Cruz or Hillary?
After reading their nasty grams here I have a pretty good guess.
.