That is not how it works.
Delegates are chosen. The Trump delegates will be at the convention.
They are free to vote their own preference if President Trump is not in the race.
What happens after the National Convention?
Read Rule 8:
https://prod-static.gop.com/media/Rules_Of_The_Republican_Party.pdf