[clang] [Clang] Added explanation why a is constructible evaluated to false. (PR #143309)

[via cfe-commits]

================
@@ -2159,6 +2167,26 @@ static void DiagnoseNonTriviallyCopyableReason(Sema &SemaRef,
   }
 }
 
+static void DiagnoseNonConstructibleReason(Sema &SemaRef, SourceLocation Loc,
+                                           QualType T) {
+  SemaRef.Diag(Loc, diag::note_unsatisfied_trait)
----------------
Sirraide wrote:

> We don't have a good way to turn the errors that would be produced into notes

I’m working on something diagnostics-related right now that would allow nesting errors but it’s not finished yet. Because of how that works though it *should* be straight-forward to add the nesting later, so just emitting the errors for now should be fine imo.

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