[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