Re: compile time 'asserts'

[Varriount]

Well, the only way to do type checking like this is through static analysis, 
which is typically performed by the compiler. The other way to do this is to 
make a variant of a procedure that accepts static parameters, and then use when 
to test their value.