cor3ntin wrote:

> This approach is doable technically, but it feels hacky and fragile. What if 
> we emit an error (or warning) diagnostic and reject the code when we parse 
> the __is_deducible type trait?

Why do you think it is fragile? I think a comment around `BTT_IsDeducible` 
would take care of that

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

Reply via email to