https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113830
--- Comment #10 from Jakub Jelinek <jakub at gcc dot gnu.org> --- But again, T::unknown isn't used except in a template which is not instantiated. It can't be checked during parsing because T::unknown is dependent and could very well be well formed if it was instantiated with a different template argument. So, does the standard require that all methods of local classes are instantiated when the containing function template is instantiate (of course, that can't be the case for methods which are templates on their own)?