I think it would depend on how loyal Trump’s delegates are. If they are very loyal, Trump could take his delegates and walk out. And if Cruz went too with his, what would the establishment do???
Cruz would never walk out with Trump, never. If they get to the convention, Cruz has a couple of ways he’ll go but neither involve sticking with Trump.