Compile Time Argument Evaluation

[DProgrammer2]

Hello,

I was wondering if there would be some way to verify arguments to 
a function at compile time, but at runtime call only one function 
(in D2).

To clarify what I mean:

Say you have something like printf()

printf(const char[] format, ...)

I want to be able to make sure the arguments passed into the 
varadic part match what the format string says at compile time. I 
could do this with a template, but then it generates a new 
printf() function for each combination of arguments, and I'm 
trying to avoid that. It might be possible to solve this with a 
mixin as well, but I'd like to avoid writing:

     mixin(SomeFunc!("args", t1, t2, t3))

(Maybe alias would be useful? My D skills aren't that great yet)

I would like it to be more like a regular function call

     SomeFunc("format", t1, t2) // Or something similar

If there's no good way to do this that's fine.

I bring this up because I saw

https://github.com/xomboverlord/xomb/blob/unborn/kernel/core/kprintf.d

which was neat, but it generates a new kprintf function for 
different arguments. I thought it'd be interesting to try and 
have the benefits of compile time checking without the extra 
generated code.

Thank you