Jeremie Pelletier: > I would rather have TypeInfo usable at compile time than a "type" type.
That's useful, but it's not enough. So you may want both. Sometimes all you want to pass to a function is a type, to replace some of the use cases of templates. Time ago I have shown some usage examples here. To me it seems that where they can be used they give a little more natural means to do some things (but templates can't be fully replaced). Bye, bearophile
