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

Reply via email to