How this is better then asserting it somewhere before actual matching?

> I added them before we had stacktrace for compilation errors in order to make the errors less cryptic

Just add all of the static checks to a small variadic  function and call it at CTFE  ?