| Issue |
64314
|
| Summary |
Compound requires-_expression_ diagnostics can be quite unreadable
|
| Labels |
clang:diagnostics
|
| Assignees |
|
| Reporter |
cjdb
|
This diagnostic isn't really readable, and produces redundant information due to the snippet below. I'm not exactly sure how to improve it, but there's a **lot** of noise, and we might like to brainstorm ways to improve the summary.
```
include/c++/v1/__concepts/equality_comparable.h:30:5: error: satisfaction of constraint 'requires (__make_const_lvalue_ref<_Tp> __t, __make_const_lvalue_ref<_Up> __u) { { __t == __u } -> __boolean_testable; { __t != __u } -> __boolean_testable; { __u == __t } -> __boolean_testable; { __u != __t } -> __boolean_testable; }' depends on itself
30 | requires(__make_const_lvalue_ref<_Tp> __t, __make_const_lvalue_ref<_Up> __u) {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
31 | { __t == __u } -> __boolean_testable;
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
32 | { __t != __u } -> __boolean_testable;
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
33 | { __u == __t } -> __boolean_testable;
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
34 | { __u != __t } -> __boolean_testable;
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
35 | };
| ~
```
![]()
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
