https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105351
Bug ID: 105351
Summary: [concepts] Constraint checking does correctly match
static member attributes
Product: gcc
Version: 11.2.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: gawain.bolton at free dot fr
Target Milestone: ---
Created attachment 52852
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52852&action=edit
Concept requirements violated when attr2 is not static
The attached code is shows how a concept requiring a static attribute matches a
structure which has the attribute with a non-static data member.
The code also shows that the checking of static vs. non-static functions works
as expected.
Tested with https://godbolt.org/ using versions: x86-64 gcc v11.2 and trunk
Compiler options: -std=c++20 -Wall -Wextra -O2
