swift
RequirementMachine: Overhaul handling of protocol typealiases with concrete underlying type
#41773
Merged
Merged
RequirementMachine: Overhaul handling of protocol typealiases with concrete underlying type #41773
slavapestov
merged
8 commits into
swiftlang:main
from
slavapestov:rqm-concrete-protocol-typealias-minimization
RequirementMachine: Minor optimization
e717330d
RequirementMachine: Make some low-cost assertions unconditional
54c83ead
RequirementMachine: Remove unused field from RewriteContext
f59ffbb9
RequirementMachine: Plumb through the loop candidate to isRedundantRu…
f082c02e
RequirementMachine: Split up first pass of homotopy reduction into two
3641b77c
RequirementMachine: Stricter invariants in verifyRewriteRules()
5cfee4e9
RequirementMachine: Record those rewrite loops involving protocol typ…
a2598448
RequirementMachine: Don't eliminate a rule via a path involving a pro…
1f83cd0b
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub