https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67969
Bug ID: 67969 Summary: [concepts] bug with overloaded function when using constraints Product: gcc Version: unknown Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: ryan.burn at gmail dot com Target Milestone: --- Created attachment 36514 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36514&action=edit code The attached code contains these two functions template <class X> requires !Q<X>() auto func(vtype<X>, X) {} template <class X> requires Q<X>() auto func(vtype<X>, X) {} I get an ambiguous overload when trying to call it, but one should be disabled.