swift
[Requirement Machine] Implement same-element requirements.
#70227

Merged

Commits

[Requirement Machine] Implement same-element requirements.

simanerush committed 1 year ago
[Requirement Machine] Fix the order of requirements that involve pack elements.

simanerush committed 1 year ago
[Requirement Machine] Use element symbols for concrete same-element requirements.

simanerush committed 1 year ago
[Constraint System] Fix the shape class and context substitiutions for

simanerush committed 1 year ago
[Requirement Machine] Stricter verification conditions for element symbols.

simanerush committed 1 year ago
[Features] Gate same-element requirements behind an experimental feature flag.

simanerush committed 1 year ago
[NFC] Add -dump-input=fail to a FileCheck test.

simanerush committed 1 year ago
[Requirement Machine] Initialize storage for `ThePackElementSymbol`

simanerush committed 1 year ago
[Requirement Machine] Add ability to prepend a symbol to a term, clean up existing code

simanerush committed 1 year ago
[Requirement Machine] When forming requirements from same-element rewrite rules, swap the sides depending on which one is longer once the `[element]` symbol is dropped.

simanerush committed 1 year ago
[Requirement Machine] Fix the order of terms with pack element symbols to always appear on the left-hand side of the same-element rewrite rule.

simanerush committed 1 year ago