https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105699
Bug ID: 105699 Summary: [Concepts] Constrained virtual functions are accepted by GCC Product: gcc Version: 12.1.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: roi.jacobson1 at gmail dot com Target Milestone: --- [class.virtual]p6 says virtual functions shall not be constrained. This example from the standard is accepted in GCC: template<typename T> struct A { virtual void f() requires true; // Standard says is an error }; Is this intentional?