zygoloid wrote:

I don't think this concern is specific to system headers.

I don't think we have precedent for disabling a warning in a SFINAE context. We 
do suppress warnings produced while substituting into a function template 
specialization during deduction if we end up not selecting that overload, but I 
don't think we have something analogous for concepts, and it's not clear that 
that would help here, given that the warning would be produced in the case 
where the concept check *succeeds*.

You can check if you're in an unevaluated context with 
`Sema::isUnevaluatedContext`.

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

Reply via email to