[Requirement Machine] Implement same-element requirements. #70227
simanerush
merged
11 commits into
swiftlang:main
from
simanerush:same-element-requirements
slavapestov
commented
on 2023-12-05
[Requirement Machine] Implement same-element requirements.
2ea45865
[Requirement Machine] Fix the order of requirements that involve pack…
0b6f8c8b
[Requirement Machine] Use element symbols for concrete same-element r…
eabaed8a
[Constraint System] Fix the shape class and context substitiutions for
e19aadc7
[Requirement Machine] Stricter verification conditions for element sy…
e6eb5dab
[Features] Gate same-element requirements behind an experimental feat…
dbda2738
[NFC] Add -dump-input=fail to a FileCheck test.
2c0ab081
[Requirement Machine] Initialize storage for `ThePackElementSymbol`
6393a32a
[Requirement Machine] Add ability to prepend a symbol to a term, clea…
10a49403
[Requirement Machine] When forming requirements from same-element rew…
1ba38c54
[Requirement Machine] Fix the order of terms with pack element symbol…
0dc67197
Reviewers
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub