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

            Bug ID: 106964
           Summary: Requires expression produces incorrect result with
                    templated lambda
           Product: gcc
           Version: 12.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: eric41293 at comcast dot net
  Target Milestone: ---

Perhaps related bugs: PR99546, PR105222, PR105494.

The following

template<class T> concept structural = requires { []<T>{}; };
static_assert(!structural<void>);

fails compilation with 

<source>:2:15: error: static assertion failed
    2 | static_assert(!structural<void>);
      | 

using x86-64 gcc 12.2 on Godbolt with -std=c++20.

Reply via email to