Yes, you are correct. Looks like on the GOP establishment are permitted to be sore losers.
I was speaking more broadly. But it does raise an interesting question. What if Trump actually won the most votes in those primaries, but was kept off the ticket anyway? Would those laws still apply?