cor3ntin wrote: > Ah, I see. I haven't tried that, but one downside I can see is that it will > make diagnostics for CTAD worse, we need to spell the type trait name in > error messages when the __is_deducible trait fails.
I think we should have a custom diag for that anyway "is not deducible from" is better than " `__is_deducible<>` is false" 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