[Bug c++/104995] [10/11/12/13 Regression] access checking for function pointer template parameters takes place at call site inside a templated (generic) lambda

[ppalka at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104995

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|access checking for         |[10/11/12/13 Regression]
                   |function pointer template   |access checking for
                   |parameters takes place at   |function pointer template
                   |call site inside a          |parameters takes place at
                   |templated (generic) lambda  |call site inside a
                   |                            |templated (generic) lambda
   Target Milestone|---                         |10.5
                 CC|                            |jason at gcc dot gnu.org,
                   |                            |ppalka at gcc dot gnu.org

--- Comment #3 from Patrick Palka <ppalka at gcc dot gnu.org> ---
C++14 testcase exhibiting a regression since GCC 8 / r8-2720-gf44a8dd56f5bfb:

template<void(*F)(int)>
void func() {
    auto lambda = [&](auto&& s) { F(s); };
    lambda(0);
}

struct S {
    void f() { func<S::g>(); }

private:
    static void g(int) {}
};