swift
RequirementMachine: Improve the 'split concrete equivalence classes' hack a bit
#41945
Merged
Merged
RequirementMachine: Improve the 'split concrete equivalence classes' hack a bit #41945
slavapestov
merged
10 commits into
swiftlang:main
from
slavapestov:rqm-split-concrete-equiv-class-improvements
Sema: Don't verify protocol requirement signatures if there was an error
b373bd62
RequirementMachine: Preserve sugar when splitting concrete equivalenc…
40694341
RequirementMachine: Add upper bound on number of attempts at splittin…
9ccdd15d
RequirementMachine: Allow query operations to be invoked on requireme…
bf779d31
RequirementMachine: Move some code around in RequirementMachineReques…
24b66242
RequirementMachine: splitConcreteEquivalenceClass() uses getConcreteT…
11b45ca2
RequirementMachine: Refactor shouldSplitConcreteEquivalenceClasses() …
466d6a94
RequirementMachine: Move some code out of RuleBuilder and into Requir…
4446f2af
RequirementMachine: Allow RequirementMachine::isConcreteType() and ::…
ff40f109
RequirementMachine: Splitting concrete equivalence classes in protoco…
441fa167
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub