swift
RequirementMachine: Overhaul handling of protocol typealiases with concrete underlying type
#41773

Merged

Commits

RequirementMachine: Minor optimization

slavapestov committed 3 years ago
RequirementMachine: Make some low-cost assertions unconditional

slavapestov committed 3 years ago
RequirementMachine: Remove unused field from RewriteContext

slavapestov committed 3 years ago
RequirementMachine: Plumb through the loop candidate to isRedundantRuleFn

slavapestov committed 3 years ago
RequirementMachine: Split up first pass of homotopy reduction into two

slavapestov committed 3 years ago
RequirementMachine: Stricter invariants in verifyRewriteRules()

slavapestov committed 3 years ago
RequirementMachine: Record those rewrite loops involving protocol typealiases

slavapestov committed 3 years ago
RequirementMachine: Don't eliminate a rule via a path involving a protocol typealias rule

slavapestov committed 3 years ago