Apparently he thought the conversation was about whether or not a compiler can understand a type at compile time. The answer is yes. Yes they can. But I’d love to see Elon struggle through the description of why he thinks it’s “easy” and why what he said is relevant.