[clang] [clang] check deduction consistency when partial ordering function templates (PR #100692)

Matheus Izvekov via cfe-commits cfe-commits at lists.llvm.org
Fri Aug 23 17:20:19 PDT 2024


================
@@ -1343,6 +1343,9 @@ namespace {
     DeclarationName Entity;
     // Whether to evaluate the C++20 constraints or simply substitute into them.
     bool EvaluateConstraints = true;
+    // Whether Substitution was Incomplete, that is, we tried to substitute in
+    // any template arguments which were null.
----------------
mizvekov wrote:

Yes, if the user passes any null template arguments, and we try to use any of these arguments during substitution, then this flag will be set, which will help determine that the result of this substitution is invalid and should not be looked at.

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


More information about the cfe-commits mailing list