https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109169
--- Comment #14 from steve02081504 <steve_green at qq dot com> --- (In reply to Andrew Pinski from comment #13) > See http://womble.decadent.org.uk/c++/template-faq.html#disambiguation also > to better understand the reason why GCC implements it this way and why it is > hard to implement this "extension" in all cases. But I guess type_info<T>.some_class_name a; is not allowed, right? Only in the case of decltype(type_info<T>)::name do we need to consider whether this is a typename or a template, and in the case of type_info<T>.name this should always be a template?