Focus on your life, not the guy, and guys actually like this better anyway despite what they say. He will text you again if he actually likes you and you will have not wasted hours politely texting a guy who was never going to ask you out. This eliminates passive reciprocation on his end because you literally don't have his number.