https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116952
Bug ID: 116952 Summary: Error on lambda NTTP argument to type constraint in template parameter list of generic lambda Product: gcc Version: 15.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: eczbek.void at gmail dot com Target Milestone: --- This causes an error: ``` template<typename, auto> concept A = true; auto b = []<A<[] {}>> {}; ``` <source>:4:15: error: lambda-expression in template parameter type 4 | auto b = []<A<[] {}>> {}; | ^ <source>:4:13: error: template argument 2 is invalid 4 | auto b = []<A<[] {}>> {}; | ^~~ Compiler returned: 1 Compiler Explorer link: https://godbolt.org/z/WWG35bsdG This code compiles fine with Clang and MSVC