typeof from TypeInfo

[Daniel Keep]

Steve Teale wrote:
> If I have an int say, I can declare another of the same
> 
> int a;
> typeof(a) b;
> 
> If I have a TypeInfo instance ti, it would be nice to be able to do 
> something similar, either special-case it, or have a property or method 
> on Typeinfo.
> 
> typeof(ti) x;
> ti.typeof y;
> 
> It's probably already there and I just haven't found it/worked it out yet.
> 
> Something of this sort would make the code in typesafe varadic functions 
> much more succinct
> 
> _arguments[i].typeof a = va_arg!(arguments[i].typeof)(args);
> 
> Steve

TypeInfo is a run-time value.  typeof is a Type expression which makes
it a compile-time construct.

You cannot go run-time -> compile-time.