[Bug c++/99366] New: Partial specialization with constrained placeholder NTTP is not more specialized
johelegp at gmail dot com
gcc-bugzilla@gcc.gnu.org
Wed Mar 3 17:54:01 GMT 2021
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.
More information about the Gcc-bugs
mailing list