================
@@ -2862,7 +2847,7 @@ TypeSourceInfo *Sema::SubstType(TypeSourceInfo *T,
                                 SourceLocation Loc,
                                 DeclarationName Entity,
                                 bool AllowDeducedTST) {
-  assert(!CodeSynthesisContexts.empty() &&
+  assert((!CodeSynthesisContexts.empty() || isSFINAEContext()) &&
----------------
erichkeane wrote:

One nit: I'd like the condition in this assert 'extracted' somewhere.  It is 
used often enough and I can imagine us using it elsewhere at a later time, I'd 
like it to both be clear what it is testing by name (TBH, the 
CodeSynthesisContexts.empty test is a little opaque anyway), and be less likely 
to be skipped.



https://github.com/llvm/llvm-project/pull/197356
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to