Actually, it will choose the right function to dispatch at compile time. In fact if it will in certain occasions even erase all function call and replace with t

Actually, it will choose the right function to dispatch at compile time. In fact if it will in certain occasions even erase all function call and replace with the final output and even remove unaccessible branches from the generated code.