[clang] [Clang] Substitute non dependent concepts in constraints (PR #163827)

[Younan Zhang via cfe-commits]

================
@@ -5192,6 +5198,46 @@ bool TreeTransform<Derived>::TransformTemplateArguments(
   return false;
 }
 
+template <typename Derived>
+template <typename InputIterator>
+bool TreeTransform<Derived>::TransformConceptTemplateArguments(
+    InputIterator First, InputIterator Last, TemplateArgumentListInfo &Outputs,
+    bool Uneval) {
+
+  auto isNonDependentConcept = [](const TemplateArgument &Arg) {
+    return !Arg.isDependent() && Arg.isConceptOrConceptTemplateParameter();
----------------
zyn0217 wrote:

A bit confusing with the name non-dependent concept...

Can we reference something from standard?

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