[C++ PATCH, committed] Fix PR9030 (main trunk version)

[Gabriel Dos Reis]

Wolfgang Bangerth <bangerth@ticam.utexas.edu> writes:

[...]

| My understanding is that you should only use typename if the following
| thing is template dependent.
                    ^^^^^^^^^
Not necessarily.

14.6/5:

  The keyword typename shall only be used in template declarations and
  definitions, including in the return type of a function template or
  member function template, in the return type for the definition of a
  member function of a class template or of a class nested within a
  class template, and in the type-specifier for the def-inition of a
  static member of a class template or of a class nested within a
  class template. The keyword typename shall only be applied to
  qualified names, but *those names need not be dependent*. [...]

-- Gaby