Proposed resolution (10/00):

Change the grammar in 9.2.9.5 [dcl.type.elab] to read

elaborated-type-specifier:
class-key ::_opt nested-name-specifier_opt identifier
class-key ::_opt nested-name-specifier_opt template_opt template-id
enum ::_opt nested-name-specifier_opt identifier
typename ::_opt nested-name-specifier identifier
typename ::_opt nested-name-specifier template_opt template-id

class-key identifier ;
friend class-key ::_opt identifier ;
friend class-key ::_opt template-id ;
friend class-key ::_opt nested-name-specifier identifier ;
friend class-key ::_opt nested-name-specifier template_opt template-id ;

I can't find the answer to the following in the standard. Does anybody have a reference?

The syntax for elaborated type specifier is

elaborated-type-specifier:
class-key ::_opt nested-name-specifier_opt identifier
enum ::_opt nested-name-specifier_opt identifier
typename ::_opt  nested-name-specifier identifier
typename ::_opt  nested-name-specifier template_opt template-id

If an elaborated-type-specifier is the sole constituent of a declaration, the declaration is ill-formed unless it is an explicit specialization (13.9.4 [temp.expl.spec] ), an explicit instantiation (13.9.3 [temp.explicit] ) or it has one of the following forms:


class-key identifier ;
friend class-key identifier ;
friend class-key :: identifier ;
friend class-key nested-name-specifier identifier ;

    class foo<int> // foo is a template

An elaborated-type-specifier shall be used in a friend declaration for a class.*

[Footnote: The class-key of the elaborated-type-specifier is required. —end footnote]

[Example:

    template<class T> class task;
    template<class T> task<T>* preempt(task<T>*);

    template<class T> class task {
        // ...
        friend void next_time();
        friend void process(task<T>*);
        friend task<T>* preempt<T>(task<T>*);
        template<class C> friend int func(C);

        friend class task<int>;
        template<class P> friend class frd;
        // ...
    };

An additional problem was reported via comp.std.c++: the grammar does not allow the following example:

    namespace A{
      class B{};
    };

    namespace B{
      class A{};
      class C{
	friend class ::A::B;
      };
    };