[libcxx-commits] [clang] [libcxx] [Clang] Normalize constraints before checking for satisfaction (PR #141776)

[via libcxx-commits]

================
@@ -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)
----------------
h-vetinari wrote:

I think it would read more naturally to say "before checking whether they are satisfied", even though "before checking their satisfaction" is technically correct. The diff below is just for the typos though

```suggestion
- Clang now normalizes constraints before checking their satisfaction, as mandated by the standard.
  As a result, Clang no longer incorrectly diagnoses substitution failures in template arguments only
  used in concept-ids, and produces better diagnostics for satisfaction failure. (#G61811) (#GH135190)
```


https://github.com/llvm/llvm-project/pull/141776