================
@@ -6470,6 +6470,12 @@ static ExprResult BuildConvertedConstantExpression(Sema 
&S, Expr *From,
     S.Diag(From->getBeginLoc(), diag::ext_cce_narrowing)
         << CCE << /*Constant*/ 1
         << PreNarrowingValue.getAsString(S.Context, PreNarrowingType) << T;
+    // If this is an SFINAE Context, treat the result as invalid so it stops
+    // substitution at this point, respecting C++26 [temp.deduct.general]p7.
----------------
zyn0217 wrote:

Can we expand what temp.deduct.general.p7 says?

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

Reply via email to