A meta-programming type resolver for LLVM | Heykuki News