CWG Issue 1015 (original) (raw)

This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 118e. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.

2025-11-05

1015. Template arguments and argument-dependent lookup

Section: 6.5.4 [basic.lookup.argdep]Status: C++11Submitter: Jason MerrillDate: 2009-12-24

[Voted into the WP at the March, 2011 meeting as part of paper N3262.]

Currently, according to 6.5.4 [basic.lookup.argdep] paragraph 2, explicit template arguments in a function argument do not contribute to the associated namespaces in a function call, although they plausibly should in an example like the following:

namespace N {
    struct S { };
    void f(void (*)(S));
};

template<typename T> void g(T);

void h() {
    f(g<N::S>);    // Should find N::f
}