Garrett Crochet will not pitch in next week’s All-Star Game. Here’s why.