Proposed resolution (March, 2017):

This issue is resolved by the resolution of issue 1710.

Additional note (January, 2014):

See also issue 1710.

Additional note (August, 2010):

The same considerations apply to mem-initializer-ids, as noted in issue 1019.

Notes from the 4/02 meeting:

We agreed that template must be allowed in this context. The syntax needs to be changed. We also opened the related issue 343.

Suggested resolution:

[Adopted at the February/March, 2017 meeting.]

The EDG front-end accepts:

template <typename T>
struct A {
  template <typename U>
  struct B {};
};

template <typename T>
struct C : public A<T>::template B<T> {
};

It rejects this code if the base-specifier is spelled A<T>::B<T>.

However, the grammar for a base-specifier does not allow the template keyword.