Proposed Resolution (10/00):

Immediately preceding the example at the end of 6.5.4 [basic.lookup.argdep] paragraph 2, add the following:

[Note: the namespaces and classes associated with the argument types can include namespaces and classes already considered by the ordinary unqualified lookup.]

The description of Koenig lookup in 6.5.4 [basic.lookup.argdep] paragraph 1 says,

...other namespaces not considered during the usual unqualified lookup (6.5.3 [basic.lookup.unqual] ) may be searched.

    void f(int);

    template <class T> void g(T t) {
        f(t);
    }

    enum E { e };

    void f(E);

    void h() {
        g(e);
    }