// This pointer is the same for all objects of the same type.
// Hence we can use it.
const void* mangled_name_ptr = (const void*)tinfo.name();
// This pointer is the same for all objects of the same type.
// Hence we can use it.
const void* mangled_name_ptr = (const void*)tinfo.name();