On Wed, 8 Dec 2021 at 13:53, Jason Merrill wrote: > During constant evaluation, the operator== could compare the type_info > address instead of the __name address, reducing this to the previous > problem.
That makes sense to me. We might still want the libstdc++ changes in case other compilers choose to do this differently. I'll get in touch with some Clang and EDG people about that.