Happy to see discussion of LLVM's interesting implementation of Static Polymorphism using CRTP. Some recommended reads:
1. https://en.wikipedia.org/wiki/Curiously_recurring_template_p...
2. https://david.alvarezrosa.com/posts/devirtualization-and-sta...
3. https://llvm.org/docs/ProgrammersManual.html#the-isa-cast-an...