================
@@ -12166,6 +12174,15 @@ static void DiagnoseBadDeduction(Sema &S, NamedDecl 
*Found, Decl *Templated,
              diag::note_ovl_candidate_explicit_arg_mismatch_unnamed)
           << (index + 1);
     }
+
+    if (PartialDiagnosticAt *PDiag = DeductionFailure.getSFINAEDiagnostic()) {
+      unsigned DiagID =
----------------
zyn0217 wrote:

> An alternative here, instead of degrading the level of diagnostic, would be 
> to come up with a way to establish a nesting of diagnostics, beyond what we 
> do implicitly, with notes always attached to the previous non-note diagnostic.

Can you please say more? Our current deduction failure diagnostics are already 
implemented in the way that note diagnostics (like SFINAE errors) are attached 
to the error, right?

https://github.com/llvm/llvm-project/pull/139066
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to