RFC: change in std::type_info's equality operator

[Gabriel Dos Reis]

Paolo Carlini <pcarlini@suse.de> writes:

| I have double checked the standard ;) and everything seems ok with
| your proposal. Indeed, we are already using an identical strategy for
| locale::operator== (perhaps we could improve that implementation, but
| this is another story ;).

I'm not sure locale comparison is as widely used as type_info comparison.

-- Gaby