Chapter 2.3 Type inference:
Note: auto cannot be used for function arguments, so the following is not possible to compile
(considering overloading, we should use templates):
int add(auto x, auto y);

C++20 includes this support.