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

[Corentin Jabot via libcxx-commits]

================
@@ -27,13 +27,23 @@
 namespace clang {
 
 class ConceptDecl;
+class ConceptReference;
 class Expr;
 class NamedDecl;
 struct PrintingPolicy;
 
+/// Pairs of unsatisfied atomic constraint expressions along with the
+/// substituted constraint expr, if the template arguments could be
+/// substituted into them, or a diagnostic if substitution resulted in
+/// an invalid expression.
+using UnsatisfiedConstraintRecord =
----------------
cor3ntin wrote:

The name is pre-existing, we could change it afterwards

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