[clang] [Clang] Handle unsatisfied NestedRequirement correctly (PR #223001)
via cfe-commits
cfe-commits at lists.llvm.org
Fri Sep 11 11:51:34 PDT 2026
github-actions[bot] wrote:
<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results
* 56454 tests passed
* 1576 tests skipped
* 19 tests failed
## Failed Tests
(click on a test name to see its output)
### Clang
<details>
<summary>Clang.AST/ByteCode/libcxx/minmax.cpp</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\24\include -nostdsysteminc -std=c++2c -fexperimental-new-constant-interpreter -verify=expected,both C:\_work\llvm-project\llvm-project\clang\test\AST\ByteCode\libcxx\minmax.cpp
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\24\include' -nostdsysteminc -std=c++2c -fexperimental-new-constant-interpreter -verify=expected,both 'C:\_work\llvm-project\llvm-project\clang\test\AST\ByteCode\libcxx\minmax.cpp'
# .---command stderr------------
# | error: diagnostics with 'error' severity seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\AST\ByteCode\libcxx\minmax.cpp Line 527: static assertion expression is not an integral constant expression
# | error: diagnostics with 'warning' severity expected but not seen:
# | File C:\_work\llvm-project\llvm-project\clang\test\AST\ByteCode\libcxx\minmax.cpp Line 312 'both-warning': not defined
# | error: diagnostics with 'note' severity expected but not seen:
# | File C:\_work\llvm-project\llvm-project\clang\test\AST\ByteCode\libcxx\minmax.cpp Line 319 'both-note': here
# | error: diagnostics with 'note' severity seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\AST\ByteCode\libcxx\minmax.cpp Line 373: undefined function 'operator()<std::basic_string<char> *const &>' cannot be used in a constant expression
# | File C:\_work\llvm-project\llvm-project\clang\test\AST\ByteCode\libcxx\minmax.cpp Line 498: in call to 'this->it_.operator*()'
# | File C:\_work\llvm-project\llvm-project\clang\test\AST\ByteCode\libcxx\minmax.cpp Line 388: in call to '__first.operator*()'
# | File C:\_work\llvm-project\llvm-project\clang\test\AST\ByteCode\libcxx\minmax.cpp Line 522: in call to 'std::ranges::minmax.operator()<std::ranges::subrange<cpp20_input_iterator<std::move_iterator<std::basic_string<char> *>>, sentinel_wrapper<cpp20_input_iterator<std::move_iterator<std::basic_string<char> *>>>> &>(range)'
# | File C:\_work\llvm-project\llvm-project\clang\test\AST\ByteCode\libcxx\minmax.cpp Line 527: in call to 'test_range()'
# | File C:\_work\llvm-project\llvm-project\clang\test\AST\ByteCode\libcxx\minmax.cpp Line 253: declared here
# | 9 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.CXX/drs/cwg25xx.cpp</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\24\include -nostdsysteminc -std=c++98 -triple x86_64-unknown-unknown C:\_work\llvm-project\llvm-project\clang\test\CXX\drs\cwg25xx.cpp -fexceptions -fcxx-exceptions -pedantic-errors -verify-directives -verify=expected
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\24\include' -nostdsysteminc -std=c++98 -triple x86_64-unknown-unknown 'C:\_work\llvm-project\llvm-project\clang\test\CXX\drs\cwg25xx.cpp' -fexceptions -fcxx-exceptions -pedantic-errors -verify-directives -verify=expected
# note: command had no output on stdout or stderr
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\24\include -nostdsysteminc -std=c++11 -triple x86_64-unknown-unknown C:\_work\llvm-project\llvm-project\clang\test\CXX\drs\cwg25xx.cpp -fexceptions -fcxx-exceptions -pedantic-errors -verify-directives -verify=expected,cxx11-14,since-cxx11
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\24\include' -nostdsysteminc -std=c++11 -triple x86_64-unknown-unknown 'C:\_work\llvm-project\llvm-project\clang\test\CXX\drs\cwg25xx.cpp' -fexceptions -fcxx-exceptions -pedantic-errors -verify-directives -verify=expected,cxx11-14,since-cxx11
# note: command had no output on stdout or stderr
# RUN: at line 3
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\24\include -nostdsysteminc -std=c++14 -triple x86_64-unknown-unknown C:\_work\llvm-project\llvm-project\clang\test\CXX\drs\cwg25xx.cpp -fexceptions -fcxx-exceptions -pedantic-errors -verify-directives -verify=expected,cxx11-14,since-cxx11
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\24\include' -nostdsysteminc -std=c++14 -triple x86_64-unknown-unknown 'C:\_work\llvm-project\llvm-project\clang\test\CXX\drs\cwg25xx.cpp' -fexceptions -fcxx-exceptions -pedantic-errors -verify-directives -verify=expected,cxx11-14,since-cxx11
# note: command had no output on stdout or stderr
# RUN: at line 4
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\24\include -nostdsysteminc -std=c++17 -triple x86_64-unknown-unknown C:\_work\llvm-project\llvm-project\clang\test\CXX\drs\cwg25xx.cpp -fexceptions -fcxx-exceptions -pedantic-errors -verify-directives -verify=expected,since-cxx11
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\24\include' -nostdsysteminc -std=c++17 -triple x86_64-unknown-unknown 'C:\_work\llvm-project\llvm-project\clang\test\CXX\drs\cwg25xx.cpp' -fexceptions -fcxx-exceptions -pedantic-errors -verify-directives -verify=expected,since-cxx11
# note: command had no output on stdout or stderr
# RUN: at line 5
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\24\include -nostdsysteminc -std=c++20 -triple x86_64-unknown-unknown C:\_work\llvm-project\llvm-project\clang\test\CXX\drs\cwg25xx.cpp -fexceptions -fcxx-exceptions -pedantic-errors -verify-directives -verify=expected,since-cxx11,since-cxx20
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\24\include' -nostdsysteminc -std=c++20 -triple x86_64-unknown-unknown 'C:\_work\llvm-project\llvm-project\clang\test\CXX\drs\cwg25xx.cpp' -fexceptions -fcxx-exceptions -pedantic-errors -verify-directives -verify=expected,since-cxx11,since-cxx20
# .---command stderr------------
# | error: diagnostics with 'error' severity seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\drs\cwg25xx.cpp Line 50: static assertion failed
# | error: diagnostics with 'note' severity seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\drs\cwg25xx.cpp Line 50: because 'Big' does not satisfy 'LargeArray'
# | 2 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.CXX/expr/expr_prim/expr_prim_req/equivalence.cpp</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\24\include -nostdsysteminc -std=c++2a -x c++ C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\equivalence.cpp -verify
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\24\include' -nostdsysteminc -std=c++2a -x c++ 'C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\equivalence.cpp' -verify
# .---command stderr------------
# | error: 'expected-error' diagnostics expected but not seen:
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\equivalence.cpp Line 91: requires clause differs in template redeclaration
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\equivalence.cpp Line 114: requires clause differs in template redeclaration
# | error: 'expected-note' diagnostics expected but not seen:
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\equivalence.cpp Line 89: previous template declaration is here
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\equivalence.cpp Line 112: previous template declaration is here
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\equivalence.cpp Line 112: previous template declaration is here
# | error: 'expected-note' diagnostics seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\equivalence.cpp Line 114: previous template declaration is here
# | 6 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.CXX/expr/expr_prim/expr_prim_req/nested-requirement.cpp</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\24\include -nostdsysteminc -std=c++2a -x c++ C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp -verify
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\24\include' -nostdsysteminc -std=c++2a -x c++ 'C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp' -verify
# .---command stderr------------
# | error: 'expected-error' diagnostics expected but not seen:
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 44: substitution into constraint expression resulted in a non-constant expression
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 133 (directive at C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp:165): type 'int' cannot be used prior to '::' because it has no members
# | error: 'expected-error' diagnostics seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 37: static assertion failed
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 82: static assertion failed
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 83: static assertion failed
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 85: static assertion failed
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 86: static assertion failed
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 88: static assertion failed
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 89: static assertion failed
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 100: no matching function for call to 'foo1'
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 101: no matching function for call to 'foo1'
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 102: no matching function for call to 'fooPipes'
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 103: no matching function for call to 'fooPipes'
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 104: no matching function for call to 'fooAmps1'
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 105: no matching function for call to 'fooAmps1'
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 124: static assertion failed
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 125: static assertion failed
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 129: no matching function for call to 'foo'
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 130: no matching function for call to 'foo'
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 145: no matching function for call to 'foo'
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 146: no matching function for call to 'foo'
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 147: no matching function for call to 'foo'
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 149: no matching function for call to 'bar'
# | error: 'expected-note' diagnostics expected but not seen:
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 10: because 'sizeof(int) == 0' (4 == 0) evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 15: because 'sizeof (t) == 0' (4 == 0) evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 22: because 'sizeof (u) == sizeof(T)' would be invalid: invalid application of 'sizeof' to an incomplete type 'void'
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 30: because 'sizeof(int) == 1' (4 == 1) evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 33: because 'decltype(+t)' (aka 'int') does not satisfy 'C1'
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 44 (directive at C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp:45): while checking the satisfaction of nested requirement requested here
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 44 (directive at C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp:46): while checking the satisfaction of nested requirement requested here
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 42 (directive at C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp:47): while substituting template arguments into constraint expression here
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 44 (directive at C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp:48): function parameter 'a' with unknown value cannot be used in a constant expression
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 42 (directive at C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp:49): declared here
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 51 (directive at C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp:52): while checking the satisfaction of concept 'C2<int>' requested here
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 141 (directive at C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp:152): while substituting template arguments into constraint expression here
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 141 (directive at C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp:153): while checking the satisfaction of nested requirement requested here
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 141 (directive at C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp:155): because 'X<SubstitutionFailureNestedRequires::ErrorExpressions_NotSF::False>::value' evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 157 (directive at C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp:158): while checking constraint satisfaction for template 'bar<int>' required here
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 157 (directive at C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp:158): while substituting deduced template arguments into function template 'bar' [with T = int]
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 141 (directive at C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp:158): in instantiation of static data member
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 141 (directive at C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp:162): while checking the satisfaction of nested requirement requested here
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 141 (directive at C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp:163): while substituting template arguments into constraint expression here
# | error: 'expected-note' diagnostics seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 37: because 'T1' does not satisfy 'D'
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 82: because 'S' does not satisfy 'Pipes'
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 83: because 'double' does not satisfy 'Pipes'
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 85: because 'S' does not satisfy 'Amps1'
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 86: because 'double' does not satisfy 'Amps1'
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 88: because 'S' does not satisfy 'Amps2'
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\nested-requirement.cpp Line 89: because 'double
# | ...
# `---data was truncated (10240/13942) (change limit with -D output_limit=N)
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.CXX/expr/expr_prim/expr_prim_req/type-requirement.cpp</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\24\include -nostdsysteminc -std=c++2a -x c++ C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\type-requirement.cpp -verify
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\24\include' -nostdsysteminc -std=c++2a -x c++ 'C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\type-requirement.cpp' -verify
# .---command stderr------------
# | error: 'expected-error' diagnostics seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\type-requirement.cpp Line 208: constraints not satisfied for class template 'A' [with $0 = <T2>]
# | error: 'expected-note' diagnostics expected but not seen:
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\type-requirement.cpp Line 198 (directive at C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\type-requirement.cpp:199): because 'T::a' would be invalid: no member named 'a' in 'PR48656::T1'
# | error: 'expected-note' diagnostics seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\expr\expr.prim\expr.prim.req\type-requirement.cpp Line 201: because 'T2' does not satisfy 'C'
# | 3 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.CXX/temp/temp_constr/temp_constr_atomic/constrant-satisfaction-conversions.cpp</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\24\include -nostdsysteminc -std=c++20 -x c++ -Wno-constant-logical-operand -verify C:\_work\llvm-project\llvm-project\clang\test\CXX\temp\temp.constr\temp.constr.atomic\constrant-satisfaction-conversions.cpp
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\24\include' -nostdsysteminc -std=c++20 -x c++ -Wno-constant-logical-operand -verify 'C:\_work\llvm-project\llvm-project\clang\test\CXX\temp\temp.constr\temp.constr.atomic\constrant-satisfaction-conversions.cpp'
# .---command stderr------------
# | error: 'expected-error' diagnostics expected but not seen:
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\temp\temp.constr\temp.constr.atomic\constrant-satisfaction-conversions.cpp Line 28 (directive at C:\_work\llvm-project\llvm-project\clang\test\CXX\temp\temp.constr\temp.constr.atomic\constrant-satisfaction-conversions.cpp:29): atomic constraint must be of type 'bool' (found 'S<int>')
# | error: 'expected-note' diagnostics expected but not seen:
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\temp\temp.constr\temp.constr.atomic\constrant-satisfaction-conversions.cpp Line 28 (directive at C:\_work\llvm-project\llvm-project\clang\test\CXX\temp\temp.constr\temp.constr.atomic\constrant-satisfaction-conversions.cpp:30): while checking the satisfaction
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\temp\temp.constr\temp.constr.atomic\constrant-satisfaction-conversions.cpp Line 28 (directive at C:\_work\llvm-project\llvm-project\clang\test\CXX\temp\temp.constr\temp.constr.atomic\constrant-satisfaction-conversions.cpp:31): while checking the satisfaction of nested requirement
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\temp\temp.constr\temp.constr.atomic\constrant-satisfaction-conversions.cpp Line 27 (directive at C:\_work\llvm-project\llvm-project\clang\test\CXX\temp\temp.constr\temp.constr.atomic\constrant-satisfaction-conversions.cpp:32): while substituting template arguments
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\temp\temp.constr\temp.constr.atomic\constrant-satisfaction-conversions.cpp Line 48 (directive at C:\_work\llvm-project\llvm-project\clang\test\CXX\temp\temp.constr\temp.constr.atomic\constrant-satisfaction-conversions.cpp:33): while checking constraint satisfaction
# | File C:\_work\llvm-project\llvm-project\clang\test\CXX\temp\temp.constr\temp.constr.atomic\constrant-satisfaction-conversions.cpp Line 48 (directive at C:\_work\llvm-project\llvm-project\clang\test\CXX\temp\temp.constr\temp.constr.atomic\constrant-satisfaction-conversions.cpp:34): while substituting deduced template arguments into function template 'f3' [with T = int]
# | 6 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.CodeCompletion/concepts.cpp</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 33
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\24\include -nostdsysteminc -std=c++2a -code-completion-with-fixits -code-completion-at=C:\_work\llvm-project\llvm-project\clang\test\CodeCompletion\concepts.cpp:29:5 C:\_work\llvm-project\llvm-project\clang\test\CodeCompletion\concepts.cpp | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\clang\test\CodeCompletion\concepts.cpp -check-prefix=DOT -implicit-check-not=xxx_t
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\24\include' -nostdsysteminc -std=c++2a -code-completion-with-fixits '-code-completion-at=C:\_work\llvm-project\llvm-project\clang\test\CodeCompletion\concepts.cpp:29:5' 'C:\_work\llvm-project\llvm-project\clang\test\CodeCompletion\concepts.cpp'
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\clang\test\CodeCompletion\concepts.cpp' -check-prefix=DOT -implicit-check-not=xxx_t
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\clang\test\CodeCompletion\concepts.cpp:38:10: error: DOT: expected string not found in input
# | // DOT: Pattern : [#integral#]www
# | ^
# | <stdin>:3:28: note: scanning from here
# | COMPLETION: Pattern : bbb()
# | ^
# | <stdin>:6:13: note: possible intended match here
# | COMPLETION: Pattern : [#int#]zzz()
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\clang\test\CodeCompletion\concepts.cpp
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: COMPLETION: Pattern : [#convertible_to<double>#]aaa()
# | 2: COMPLETION: Pattern : bb() (requires fix-it: {29:4-29:5} to "->")
# | 3: COMPLETION: Pattern : bbb()
# | check:38'0 { search range start (exclusive)
# | check:38'1 error: no match found in search range
# | 4: COMPLETION: Pattern : xxx(<#int#>)
# | 5: COMPLETION: Pattern : yyy(<#U#>)
# | 6: COMPLETION: Pattern : [#int#]zzz()
# | check:38'2 ? possible intended match
# | check:38'3 } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.CodeGenCXX/mangle-requires.cpp</summary>
```
Exit Code: 2
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\24\include -nostdsysteminc -verify -std=c++2a -fclang-abi-compat=latest -emit-llvm -triple x86_64-pc-windows-gnu -o - C:\_work\llvm-project\llvm-project\clang\test\CodeGenCXX\mangle-requires.cpp | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\clang\test\CodeGenCXX\mangle-requires.cpp
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\24\include' -nostdsysteminc -verify -std=c++2a -fclang-abi-compat=latest -emit-llvm -triple x86_64-pc-windows-gnu -o - 'C:\_work\llvm-project\llvm-project\clang\test\CodeGenCXX\mangle-requires.cpp'
# .---command stderr------------
# | error: 'expected-error' diagnostics seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\CodeGenCXX\mangle-requires.cpp Line 27: explicit instantiation of 'f' does not refer to a function template, variable template, member function, member class, or static data member
# | error: 'expected-note' diagnostics seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\CodeGenCXX\mangle-requires.cpp Line 9: candidate template ignored: constraints not satisfied [with T = int]
# | 2 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\clang\test\CodeGenCXX\mangle-requires.cpp'
# .---command stderr------------
# | FileCheck error: '<stdin>' is empty.
# | FileCheck command line: c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\clang\test\CodeGenCXX\mangle-requires.cpp
# `-----------------------------
# error: command failed with exit status: 2
--
```
</details>
<details>
<summary>Clang.Index/index-concepts.cpp</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\c-index-test.exe -test-load-source all C:\_work\llvm-project\llvm-project\clang\test\Index\index-concepts.cpp -std=gnu++20 -fno-delayed-template-parsing | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\clang\test\Index\index-concepts.cpp
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\c-index-test.exe' -test-load-source all 'C:\_work\llvm-project\llvm-project\clang\test\Index\index-concepts.cpp' -std=gnu++20 -fno-delayed-template-parsing
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\clang\test\Index\index-concepts.cpp'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\clang\test\Index\index-concepts.cpp:184:11: error: CHECK: expected string not found in input
# | // CHECK: index-concepts.cpp:[[@LINE-5]]:12: NamespaceRef=ns:55:11 Extent=[[[@LINE-5]]:12 - [[@LINE-5]]:14]
# | ^
# | <stdin>:620:75: note: scanning from here
# | // CHECK: index-concepts.cpp:178:28: RequiresExpr= Extent=[178:28 - 180:2]
# | ^
# | <stdin>:620:75: note: with "@LINE-5" equal to "179"
# | // CHECK: index-concepts.cpp:178:28: RequiresExpr= Extent=[178:28 - 180:2]
# | ^
# | <stdin>:620:75: note: with "@LINE-5" equal to "179"
# | // CHECK: index-concepts.cpp:178:28: RequiresExpr= Extent=[178:28 - 180:2]
# | ^
# | <stdin>:620:75: note: with "@LINE-5" equal to "179"
# | // CHECK: index-concepts.cpp:178:28: RequiresExpr= Extent=[178:28 - 180:2]
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\clang\test\Index\index-concepts.cpp
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 615: // CHECK: index-concepts.cpp:168:26: RequiresExpr= Extent=[168:26 - 170:2]
# | 616: // CHECK: index-concepts.cpp:169:12: TemplateRef=type_trait:4:8 Extent=[169:12 - 169:22]
# | 617: // CHECK: index-concepts.cpp:169:23: TypeRef=T:167:16 Extent=[169:23 - 169:24]
# | 618: // CHECK: index-concepts.cpp:178:9: ConceptDecl=ConWithNestedReq:178:9 (Definition) Extent=[177:1 - 180:2]
# | 619: // CHECK: index-concepts.cpp:177:16: TemplateTypeParameter=T:177:16 (Definition) Extent=[177:10 - 177:17] [access=public]
# | 620: // CHECK: index-concepts.cpp:178:28: RequiresExpr= Extent=[178:28 - 180:2]
# | check:184'0 { } search range (exclusive bounds)
# | check:184'1 error: no match found in search range
# | check:184'2 with "@LINE-5" equal to "179"
# | check:184'3 with "@LINE-5" equal to "179"
# | check:184'4 with "@LINE-5" equal to "179"
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.PCH/cxx2a-requires-expr.cpp</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\24\include -nostdsysteminc -emit-pch -std=c++2a -o C:\_work\llvm-project\llvm-project\build\tools\clang\test\PCH\Output\cxx2a-requires-expr.cpp.tmp C:\_work\llvm-project\llvm-project\clang\test\PCH\cxx2a-requires-expr.cpp
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\24\include' -nostdsysteminc -emit-pch -std=c++2a -o 'C:\_work\llvm-project\llvm-project\build\tools\clang\test\PCH\Output\cxx2a-requires-expr.cpp.tmp' 'C:\_work\llvm-project\llvm-project\clang\test\PCH\cxx2a-requires-expr.cpp'
# note: command had no output on stdout or stderr
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\24\include -nostdsysteminc -std=c++2a -x ast -ast-print C:\_work\llvm-project\llvm-project\build\tools\clang\test\PCH\Output\cxx2a-requires-expr.cpp.tmp | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\clang\test\PCH\cxx2a-requires-expr.cpp
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\24\include' -nostdsysteminc -std=c++2a -x ast -ast-print 'C:\_work\llvm-project\llvm-project\build\tools\clang\test\PCH\Output\cxx2a-requires-expr.cpp.tmp'
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\clang\test\PCH\cxx2a-requires-expr.cpp'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\clang\test\PCH\cxx2a-requires-expr.cpp:15:12: error: CHECK: expected string not found in input
# | // CHECK: requires (T t) { t++; { t++ } noexcept -> C; { t++ } -> C2<int>; typename T::a; requires T::val; requires C<typename T::val> || (C<typename T::val> || C<T>); };
# | ^
# | <stdin>:1:1: note: scanning from here
# | template <typename T> concept C = true;
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\clang\test\PCH\cxx2a-requires-expr.cpp
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | 1: template <typename T> concept C = true;
# | check:15'0 { search range start (exclusive)
# | check:15'1 error: no match found in search range
# | 2: template <typename T, typename U> concept C2 = true;
# | 3: template <typename T> bool f() {
# | 4: return requires (T t) { t++; { t++ } noexcept -> C; { t++ } -> C2<int>; typename T::a; requires <<error-expression>>; requires <<error-expression>>; };
# | 5: }
# | 6: namespace trailing_requires_expression {
# | 7: template <typename T> requires C<T> && C2<T, T> void g();
# | 8: template <typename T> requires C<T> || C2<T, T> constexpr int h = sizeof(T);
# | 9: template <typename T> requires C<T> class i {
# | 10: };
# | 11: }
# | check:15'2 } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.SemaCXX/concept-crash-on-diagnostic.cpp</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\24\include -nostdsysteminc -fsyntax-only -std=c++20 -verify C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\concept-crash-on-diagnostic.cpp
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\24\include' -nostdsysteminc -fsyntax-only -std=c++20 -verify 'C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\concept-crash-on-diagnostic.cpp'
# .---command stderr------------
# | error: 'expected-note' diagnostics expected but not seen:
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\concept-crash-on-diagnostic.cpp Line 82 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\concept-crash-on-diagnostic.cpp:86): because 'bar<int>' would be invalid
# | error: 'expected-note' diagnostics seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\concept-crash-on-diagnostic.cpp Line 81: because 'bar<int>' would be invalid: no member named 'baz' in 'GH222954::foo<int>'
# | 2 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.SemaCXX/cxx2c-fold-exprs.cpp</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\24\include -nostdsysteminc -std=c++2c -verify C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\cxx2c-fold-exprs.cpp
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\24\include' -nostdsysteminc -std=c++2c -verify 'C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\cxx2c-fold-exprs.cpp'
# .---command stderr------------
# | error: 'expected-error' diagnostics seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\cxx2c-fold-exprs.cpp Line 657: static assertion failed
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\cxx2c-fold-exprs.cpp Line 658: static assertion failed
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\cxx2c-fold-exprs.cpp Line 660: static assertion failed
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\cxx2c-fold-exprs.cpp Line 661: static assertion failed
# | error: 'expected-note' diagnostics seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\cxx2c-fold-exprs.cpp Line 657: because 'MutabilityAliasFor<Constant::alias, int>' evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\cxx2c-fold-exprs.cpp Line 658: because 'MutabilityAliasForAllOf<Constant::alias, char, int>' evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\cxx2c-fold-exprs.cpp Line 650: because 'MutabilityAliasFor<Constant::alias, char>' evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\cxx2c-fold-exprs.cpp Line 660: because 'Constant::alias' does not satisfy 'MutabilityAlias'
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\cxx2c-fold-exprs.cpp Line 653: because 'MutabilityAliasForAllOf<Constant::alias, int, char, double>' evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\cxx2c-fold-exprs.cpp Line 650: because 'MutabilityAliasFor<GH188505::Constant::alias, int>' evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\cxx2c-fold-exprs.cpp Line 661: because 'Mutable::alias' does not satisfy 'MutabilityAlias'
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\cxx2c-fold-exprs.cpp Line 653: because 'MutabilityAliasForAllOf<Mutable::alias, int, char, double>' evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\cxx2c-fold-exprs.cpp Line 650: because 'MutabilityAliasFor<GH188505::Mutable::alias, int>' evaluated to false
# | 13 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.SemaCXX/invalid-requirement-requires-expr.cpp</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -fsyntax-only -std=c++2a -Xclang -verify -ftemplate-depth=5 -ftemplate-backtrace-limit=4 C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\invalid-requirement-requires-expr.cpp
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -fsyntax-only -std=c++2a -Xclang -verify -ftemplate-depth=5 -ftemplate-backtrace-limit=4 'C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\invalid-requirement-requires-expr.cpp'
# .---command stderr------------
# | error: 'expected-error' diagnostics expected but not seen:
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\invalid-requirement-requires-expr.cpp Line 18 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\invalid-requirement-requires-expr.cpp:19): recursive template instantiation exceeded maximum depth
# | error: 'expected-error' diagnostics seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\invalid-requirement-requires-expr.cpp Line 25: static assertion failed due to requirement 'A<1>::far()'
# | error: 'expected-note' diagnostics expected but not seen:
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\invalid-requirement-requires-expr.cpp Line 18 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\invalid-requirement-requires-expr.cpp:20): while
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\invalid-requirement-requires-expr.cpp Line 18 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\invalid-requirement-requires-expr.cpp:20): while
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\invalid-requirement-requires-expr.cpp Line 18 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\invalid-requirement-requires-expr.cpp:20): while
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\invalid-requirement-requires-expr.cpp Line 18 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\invalid-requirement-requires-expr.cpp:21): contexts in backtrace
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\invalid-requirement-requires-expr.cpp Line 18 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\invalid-requirement-requires-expr.cpp:22): use -ftemplate-depth=N to increase
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaCXX\invalid-requirement-requires-expr.cpp Line 26: in instantiation of member function
# | 8 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.SemaTemplate/concepts-PR54629.cpp</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\24\include -nostdsysteminc -std=c++20 -verify C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\24\include' -nostdsysteminc -std=c++20 -verify 'C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp'
# .---command stderr------------
# | error: 'expected-error' diagnostics expected but not seen:
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp Line 23: ambiguous partial specialization
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp Line 54 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp:55): call to 'foo' is ambiguous
# | error: 'expected-error' diagnostics seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp Line 16: redefinition of 'A<T>'
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp Line 22: no member named 'specialization1' in 'A<char[5]>'
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp Line 35: redefinition of 'foo'
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp Line 54: no matching function for call to 'foo'
# | error: 'expected-note' diagnostics expected but not seen:
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp Line 10 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp:24): partial specialization matches [with T = char[16]
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp Line 16 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp:25): partial specialization matches [with T = char[16]
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp Line 30 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp:47): candidate template ignored: constraints not satisfied
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp Line 31 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp:48): because 'sizeof (t) < 4' (4 < 4) evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp Line 36 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp:50): because 'sizeof (t) > 4' (4 > 4) evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp Line 40 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp:51): candidate template ignored: constraints not satisfied
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp Line 41 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp:52): because 'sizeof (t) > 8' (4 > 8) evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp Line 35 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp:56): candidate function
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp Line 40 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp:57): candidate function
# | error: 'expected-note' diagnostics seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp Line 10: previous definition is here
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp Line 30: previous definition is here
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-PR54629.cpp Line 35: candidate template ignored: constraints not satisfied [with T = char[16]]
# | 18 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.SemaTemplate/concepts-lambda.cpp</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\24\include -nostdsysteminc -std=c++20 -verify C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-lambda.cpp
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\24\include' -nostdsysteminc -std=c++20 -verify 'C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-lambda.cpp'
# .---command stderr------------
# | error: 'expected-error' diagnostics seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-lambda.cpp Line 144: implicit instantiation of undefined template 'GH58368::GH82849::Widget<char>'
# | error: 'expected-note' diagnostics seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-lambda.cpp Line 128: template is declared here
# | 2 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.SemaTemplate/concepts-out-of-line-def.cpp</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\24\include -nostdsysteminc -std=c++20 -Wno-c++26-extensions -verify C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-out-of-line-def.cpp
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\24\include' -nostdsysteminc -std=c++20 -Wno-c++26-extensions -verify 'C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-out-of-line-def.cpp'
# .---command stderr------------
# | error: 'expected-error' diagnostics expected but not seen:
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-out-of-line-def.cpp Line 525 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-out-of-line-def.cpp:526): definition of 'foo' does not match any declaration
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-out-of-line-def.cpp Line 534 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-out-of-line-def.cpp:535): definition of 'bar' does not match any declaration
# | error: 'expected-error' diagnostics seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-out-of-line-def.cpp Line 531: redefinition of 'foo'
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-out-of-line-def.cpp Line 539: redefinition of 'bar'
# | error: 'expected-note' diagnostics expected but not seen:
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-out-of-line-def.cpp Line 519 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-out-of-line-def.cpp:527): defined here
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-out-of-line-def.cpp Line 520 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-out-of-line-def.cpp:528): member declaration nearly matches
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-out-of-line-def.cpp Line 519 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-out-of-line-def.cpp:536): defined here
# | error: 'expected-note' diagnostics seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-out-of-line-def.cpp Line 525: previous definition is here
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts-out-of-line-def.cpp Line 534: previous definition is here
# | 9 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.SemaTemplate/concepts.cpp</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\24\include -nostdsysteminc -std=c++20 -ferror-limit 0 -fexceptions -fcxx-exceptions -verify=expected,cxx20 C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts.cpp
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\24\include' -nostdsysteminc -std=c++20 -ferror-limit 0 -fexceptions -fcxx-exceptions -verify=expected,cxx20 'C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts.cpp'
# .---command stderr------------
# | error: diagnostics with 'error' severity seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts.cpp Line 1799: static assertion failed
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts.cpp Line 1859: no matching function for call to 'f'
# | error: diagnostics with 'note' severity seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts.cpp Line 1799: because 'foo<int>' does not satisfy 'decomposable_works'
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts.cpp Line 1858: candidate template ignored: constraints not satisfied [with T = int]
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\concepts.cpp Line 1858: because 'C<int, void, bool>' evaluated to false
# | 5 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.SemaTemplate/instantiate-requires-expr.cpp</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\24\include -nostdsysteminc -std=c++2a -x c++ C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp -verify -Wno-unused-value
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\24\include' -nostdsysteminc -std=c++2a -x c++ 'C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp' -verify -Wno-unused-value
# .---command stderr------------
# | error: 'expected-error' diagnostics expected but not seen:
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 214: constraints not satisfied for class template 'r4' [with Ts = <int, short>]
# | error: 'expected-error' diagnostics seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 201: pack expansion does not contain any unexpanded parameter packs
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 210: pack expansion does not contain any unexpanded parameter packs
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 214: no template named 'r4'; did you mean 'expr_requirement::r4'?
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 214: too many template arguments for class template 'r4'
# | error: 'expected-note' diagnostics expected but not seen:
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 26 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp:27): because 'false_v<requires (int t) { requires is_same_v<decltype(t), int>; }>' evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 26 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp:28): because 'false_v<requires (char t) { requires is_same_v<decltype(t), int>; }>' evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 37 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp:38): because 'false_v<requires (short ts, unsigned short ts) { requires (sizeof (ts) == 2) && (sizeof (ts) == 2); }>'
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 37 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp:39): because 'false_v<requires (short ts) { requires (sizeof (ts) == 2); }>' evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 46 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp:47): because 'false_v<requires (short ts) { requires sizeof (ts) != 0; } && requires (unsigned short ts) { requires sizeof (ts) != 0; }>' evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 46 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp:48): because 'false_v<requires (short ts) { requires sizeof (ts) != 0; }>' evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 184: because 'false_v<requires { requires sizeof(int) == 2; }>' evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 201 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp:202): because 'false_v<requires { requires sizeof(int) == 0; } && requires { requires sizeof(short) == 0; }>' evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 210 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp:211): because 'false_v<requires { requires sizeof(int) == 0; sizeof(Ts); } && requires { requires sizeof(short) == 0; sizeof(Ts); }>' evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 217 (directive at C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp:218): because 'false_v<requires (int t) { requires sizeof (t) == 0; t++; } && requires (short t) { requires sizeof (t) == 0; t++; }>' evaluated to false
# | error: 'expected-note' diagnostics seen but not expected:
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 26: because 'false_v<requires (int t) { requires <<error-expression>>; }>' evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 26: because 'false_v<requires (char t) { requires <<error-expression>>; }>' evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 37: because 'false_v<requires (short ts, unsigned short ts) { requires <<error-expression>>; }>' evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 37: because 'false_v<requires (short ts) { requires <<error-expression>>; }>' evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 46: because 'false_v<requires (short ts) { requires <<error-expression>>; } && requires (unsigned short ts) { requires <<error-expression>>; }>' evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 46: because 'false_v<requires (short ts) { requires <<error-expression>>; }>' evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 184: because 'false_v<requires { requires <<error-expression>>; }>' evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 37: because 'false_v<requires (int ts, short ts) { requires <<error-expression>>; }>' evaluated to false
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 169: 'expr_requirement::r4' declared here
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 169: template is declared here
# | File C:\_work\llvm-project\llvm-project\clang\test\SemaTemplate\instantiate-requires-expr.cpp Line 217: because 'false_v<requires (int t) { requires <<error-expression>>; t++; } && requires (short t) { requires <<error-expression>>; t++; }>' evaluated to false
# | 26 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
### Clang-Unit
<details>
<summary>Clang-Unit._/AllClangUnitTests_exe/RecursiveASTVisitor/Concepts</summary>
```
Script:
--
C:\_work\llvm-project\llvm-project\build\tools\clang\unittests\.\AllClangUnitTests.exe --gtest_filter=RecursiveASTVisitor.Concepts
--
C:\_work\llvm-project\llvm-project\clang\unittests\Tooling\RecursiveASTVisitorTests\Concept.cpp:115
Expected equality of these values:
2
Visitor.ConceptReferencesTraversed
Which is: 1
C:\_work\llvm-project\llvm-project\clang\unittests\Tooling\RecursiveASTVisitorTests\Concept.cpp:116
Expected equality of these values:
2
Visitor.ConceptReferencesVisited
Which is: 1
```
</details>
If these failures are unrelated to your changes (for example tests are broken or flaky at HEAD), please open an issue at https://github.com/llvm/llvm-project/issues and add the `infrastructure` label.
https://github.com/llvm/llvm-project/pull/223001
More information about the cfe-commits
mailing list