================
@@ -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