Movatterモバイル変換

Proposed resolution (10/00):

In the example in 13.10.2 [temp.arg.explicit] paragraph 6,change the third line from

        template <int X> void f();

to

        template <int X> void f(B);

13.10.2 [temp.arg.explicit] paragraph 6 contains the followingexample:

    namespace A {        struct B { };        template<int X> void f();    }    namespace C {        template<class T> void f(T t);    }    void g(A::B b) {        f<3>(b);    // ill-formed: not a function call        A::f<3>(b); // well-formed        C::f<3>(b); // ill-formed; argument dependent lookup                    // only applies to unqualified names        using C::f;        f<3>(b);    // well-formed because C::f is visible; then                    // A::f is found by argument dependent lookup    }

A::f() should have a parameter of typeA::B.