https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99366
Bug ID: 99366 Summary: Partial specialization with constrained placeholder NTTP is not more specialized Product: gcc Version: 11.0 URL: https://godbolt.org/z/ETjYfP Status: UNCONFIRMED Keywords: rejects-valid Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: johelegp at gmail dot com CC: johelegp at gmail dot com Target Milestone: --- See https://godbolt.org/z/ETjYfP. ```C++ template<class>concept C=true; template<class,C auto>struct A{}; template<class T,C auto V>requires true struct A<T,V>{}; ``` I think CE recompiles GCC trunk daily, and this was working yesterday. Must be related to Bug 99365.