| Issue |
129427
|
| Summary |
Unexpected behaviour - Clang does not consider a partial specialization with a concept more specialized than the primary template when the parameter order is changed.
|
| Labels |
|
| Assignees |
|
| Reporter |
alkut
|
Here is a link to the issue on Compiler Explorer: [Compiler Explorer](https://godbolt.org/z/zv1jcPaEW).
When we change the order of specialization parameters (#define SWAP_SPECIALIZATION_PARAMETERS 1), Clang produces the following error:
error: class template partial specialization is not more specialized than the primary template [-Winvalid-partial-specialization]
However, the error disappears if we keep the parameter order the same as in the primary template (#define SWAP_SPECIALIZATION_PARAMETERS 0).
Meanwhile, both GCC and MSVC compile both versions without errors or warnings
![]()
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
