I am pretty sure that if Trump is the GOP nominee, Cruz will campaign for Hillary.
Isn’t he doing that now.