When is using 'typeid' the best solution?

Question

There are many reasons not to use typeid. Other than for using members of type_info (implementation defined behavior), it is usually (always?) pos

Answer 1

So, excluding usage that relies on the implementation defined behavior, does anybody have a real world example where typeid is the best solution?

I sometimes use it in debug outputs, to verify that a template argument passed to my function is indeed of a given type. This makes sense in my case since the actual template argument passed to my function is generated by a specialised metafunction and I want to make sure that the right metafunction is used.