llvm-project
[Clang] Normalize constraints before checking for satisfaction
#161671
Merged
Merged
[Clang] Normalize constraints before checking for satisfaction #161671
cor3ntin
merged
46 commits into
llvm:main
from
cor3ntin:corentin/use_normalization_for_satisfaction
Use normalization for concept satisfaction
a8c391c8
more build failures
bfcad787
I accidentally disabled caching
7d66cd80
fix libcxx test
ccb3eb08
fix windows build
7ff50beb
format
badb3f20
fix libc++ test
3e37bd43
cleanups
e4122011
add fixmes
fc0e1164
fix windows build
e8d251b4
more cleanups
da2022ae
remove some whitespace changes
eb3922e0
fix doc
90b7a283
more cleanups
d2e310e0
remove some duplication
5f239d4b
Cache satisfaction of ConceptIdConstraint.
c5a8c316
more caching
93613102
Fix stdexec regressions (#59)
3aec41a2
more cleanups
aa797121
Release note
905de976
Use ordinary substitution for parameter mapping (#60)
7237aaa7
fix typos
e11c3771
fix tests after rebase
0eec94be
address some of Erich's feedback
8dc536c0
fix rebase
b01c7f52
remove comment (moved to doc)
56aaa211
Make sure the SubstitutionDiagnostic alias is used consistently
5454d008
fix typos, fix merge
f2bf57c8
fix docs
99b62f00
remove unused code
a160c64c
remove more unused code
95911f10
fix docs
536b281c
format
7ecf1944
Deal with parameters used, but not referenced by an atomic constraint
36045672
oups
2843ad3f
Fix assert, address feedback, add tests
a1eb5b5b
pack tests, remove dead code
ebe396b9
fix tests for c++20
38c43e14
restore code that was actually useful
81413f0c
Merge remote-tracking branch 'llvm_be_very_careful/main' into corenti…
ab3f0232
Merge remote-tracking branch 'llvm_be_very_careful/main' into corenti…
aa7fcb94
format
cde4bb7d
Merge remote-tracking branch 'llvm_be_very_careful/main' into corenti…
fdb9bfb4
Fix ub
701ba1f0
fix leak
d283646c
Merge remote-tracking branch 'llvm_be_very_careful/main' into corenti…
9f885202
shafik
commented
on 2025-10-23
Login to write a write a comment.
Login via GitHub