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

[Younan Zhang via cfe-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)
----------------
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