https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63164
--- Comment #17 from Jason Merrill <jason at gcc dot gnu.org> --- As I commented at https://inbox.sourceware.org/gcc-patches/75ff8af8-af03-42fa-b68b-e6c16a34c...@redhat.com/ we could optimize the dynamic_cast to type_info::operator== instead of vtable comparison.