Destructs an object of type std::type_info. This destructor is public virtual, allowing objects of classes, derived from std::type_info to be safely deleted through pointers to base class.