[Clang] fold expression is considered atomic during constraints normalization
authorYuanfang Chen <yuanfang.chen@sony.com>
Sun, 23 Oct 2022 03:17:06 +0000 (20:17 -0700)
committerYuanfang Chen <yuanfang.chen@sony.com>
Sun, 23 Oct 2022 03:48:57 +0000 (20:48 -0700)
commitc9447c62966e5ec60ec277e4a7d75420224f53f6
treeffe94e2558f410445bdc9bc3f22a9b012440acab
parent00816714f96505c59c236f3f0fd2eb815c57f674
[Clang] fold expression is considered atomic during constraints normalization

`|| fold` is not disjunction; `&& fold` is not conjunction. Both are atomic per
current wording. See http://cplusplus.github.io/concepts-ts/ts-active.html#28.

D128750 accidentally tried to partially addresss this which is not desirable.
This patch reverts that part and associated test cases.
clang/lib/Sema/SemaConcept.cpp
clang/test/CXX/temp/temp.decls/temp.fct/temp.func.order/p6.cpp