The class
type_info
describes type information generated by the implementation ([expr.typeid]).
Objects of this class effectively store a pointer to a name for the type, and
an encoded value suitable for comparing two types for equality or collating order.
The names, encoding rule, and collating sequence for types are all unspecified
and may differ between programs.
Returns: An unspecified value, except that within a single execution of the
program, it shall return the same value for any two type_info
objects which compare equal.