https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117683
--- Comment #6 from R. Diez <rdiez-2006 at rd10 dot de> --- I do not understand why you say that RTTI "names" merely need to be unique. The specification for "const char* name() const;", which I quoted in my first post, says "the returned string can be identical for several types". As far as I understand it, all names could point to a single empty string.
