================ @@ -126,6 +126,10 @@ C++23 Feature Support C++20 Feature Support ^^^^^^^^^^^^^^^^^^^^^ +- Clang now normalizes constraints before checking their satisfaction, as mandated by the standard. + As a result, Clang no longer incorrectly diagnose subsdtitution failures in template arguments only + used in concept-ids, and produce better diagnostics for satisfaction failure. (#G61811) (#GH135190) ---------------- zyn0217 wrote:
```suggestion - Clang now normalizes constraints before checking their satisfaction, as mandated by the standard. As a result, Clang no longer incorrectly diagnose subsdtitution failures in template arguments only used in concept-ids, and produce better diagnostics for satisfaction failure. (#GH61811) (#GH135190) ``` https://github.com/llvm/llvm-project/pull/141776 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
