| Issue |
141911
|
| Summary |
[Clang] Explain satisfaction failure for more type traits
|
| Labels |
good first issue,
clang:frontend,
clang:diagnostics
|
| Assignees |
|
| Reporter |
cor3ntin
|
Last week, we added the scaffolding for clang to explain _why_ a standard type trait is not satisfied - when used either in a `static_assert` or as atomic constraint, in `Sema::DiagnoseTypeTraitDetails` (#141238)
https://gcc.godbolt.org/z/xb7PcxzTx
So far, this has only been done for `std::is_trivially_relocatable`.
There are plenty of type traits that could benefit from additional diagnostics
https://eel.is/c++draft/type.traits#meta.type.synop
I figure adding support for more type traits (one at a time!) could be a good first issue, and it's always nice to improve our diagnostics.
![]()
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
