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

Corentin Jabot via cfe-commits cfe-commits at lists.llvm.org
Fri Oct 17 00:07:08 PDT 2025


================
@@ -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();
----------------
cor3ntin wrote:

Renamed to isNonDependentConceptArgument and added standard quote https://eel.is/c++draft/temp.constr.normal#1.4.2.sentence-1

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


More information about the cfe-commits mailing list