type determination

[dsmith]

On Tuesday, 27 November 2012 at 10:45:19 UTC, Jonathan M Davis 
wrote:
> On Tuesday, November 27, 2012 11:30:31 dsmith wrote:
>> Oh, the "static if" ... for compile time evaluation; seems
>> unintuitive (no?) since data is encountered at run time.
>
> But the types are known at compile time. If you're doing 
> anything with types,
> it has to be done at compile time.
>
> - Jonathan M Davis

Indeed, based on the parameter in the function call.