Argument-dependent lookup for templates in C++20

Question

The program as follows compiles fine in C++20:

#include <memory>

struct A{ virtual ~A() = default; };
struct B: A {};

int main()
{
    std::shared_ptr<A> p = std::make_shared<B>();
    auto x = dynamic_pointer_cast<A>(p);
}

But in C++17 it produces an error:

<source>: In function 'int main()':
<source>:9:14: error: 'dynamic_pointer_cast' was not declared in this scope; did you mean 'std::dynamic_pointer_cast'?
    9 |     auto x = dynamic_pointer_cast<A>(p);
      |              ^~~~~~~~~~~~~~~~~~~~
      |              std::dynamic_pointer_cast
In file included from /opt/compiler-explorer/gcc-11.1.0/include/c++/11.1.0/memory:77,
                 from <source>:1:

Could you please tell me what has changed in C++20 to make it work?

Twitch

You may want the language-lawyer tag on this question. – Ume

This might be the relevant paper: open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0846r0.html – Counterinsurgency

Clang has a warning for this in C++17 mode, and possibly the explanation: warning: use of function template name with no prior declaration in function call with explicit template arguments is a C++20 extension [-Wc++20-extensions] – Disrate

Answer 1

https://en.cppreference.com/w/cpp/language/adl

Although a function call can be resolved through ADL even if ordinary lookup finds nothing, a function call to a function template with explicitly-specified template arguments requires that there is a declaration of the template found by ordinary lookup (otherwise, it is a syntax error to encounter an unknown name followed by a less-than character) (until C++20)

Chagres

This text is confusing: it means to say "requires that there is a declaration of a template". It doesn't have to see the template that it's gonna call. ADL is still done even for template ids. – Frazier