[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