Agreed. Trump won’t nominate him.
Maybe at the end of a contested convention we will get someone who will. Most of the delegates are committed to the two anti-establishment candidates (I know, some people actually accuse Cruz of being an establishment plant) so if no one can agree on one of these two, then maybe they can get another, less damaged, anti-establishment candidate who will nominate Cruz and Lee to the Supreme Court.