Параметр возвращаемого генерического лямбда предположительно теней параметра свободной функции

Компиляция следующего кода

template <typename X, typename F>
auto apply(X x, F f)
{
    return f(x);
}

template <typename Y>
auto add_value(Y y)
{
    return [y](auto x)
    {
        return x + y;
    };
}

int main()
{
    apply(1, add_value(2));
}

с g++ (например, v. 5.4) дает теневые предупреждения.

$ g++ -Wshadow -Werror -std=c++14 shadow_test.cpp 
shadow_test.cpp: In instantiation of ‘add_value(Y)::<lambda(auto:1)> [with auto:1 = int; Y = int]’:
shadow_test.cpp:4:13:   required from ‘auto apply(X, F) [with X = int; F = add_value(Y) [with Y = int]::<lambda(auto:1)>]’
shadow_test.cpp:18:26:   required from here
shadow_test.cpp:10:22: error: declaration of ‘int x’ shadows a parameter [-Werror=shadow]
     return [y](auto x)
                      ^
shadow_test.cpp:2:14: note: shadowed declaration is here
 auto apply(X x, F f)
              ^
cc1plus: all warnings being treated as errors

Я не понимаю, почему. Может кто-нибудь объяснить?

#include <iostream> template <typename X, typename Y> auto add_value(X x, Y y) { auto f = [y](auto x) { return x + y; }; return f(x); } int main() { std::cout << add_value(1, 2); }

Ответ 1