RequirementMachine: Conditional requirement inference #40973
slavapestov
merged
15 commits into
swiftlang:main
from
slavapestov:rqm-conditional-requirement-inference
AST: Add missing fastpath to transformRec()'s handling of SILBoxType
82410165
RequirementMachine: Remove obsolete comment
a2f2ffd1
RequirementMachine: Fix missing space in debug output
7a5758ea
RequirementMachine: Fix assertion failure when conflicting rules are …
f3b8bedf
RequirementMachine: Factor out getRuleForRequirement() from RuleBuild…
f480eeaf
RequirementMachine: Add assertion to RewriteSystem::isInMinimizationD…
b27c1568
RequirementMachine: Move remapConcreteSubstitutionSchema() to Rewrite…
01ba790c
RequirementMachine: Rename remapConcreteSubstitutionSchema() to getRe…
c46c7773
RequirementMachine: getRuleForRequirement() supports relative terms
96122834
RequirementMachine: Track known protocols in the rewrite system
10e4ffdf
RequirementMachine: Allow the property map to record induced rules di…
ae440281
RequirementMachine: Property map adds new rules directly
0b3d6ea0
RequirementMachine: Remove 'induced rules' mechanism from the propert…
41e32920
RequirementMachine: Eliminate layout requirement implied by concrete …
75dfab00
RequirementMachine: Conditional requirement inference
eb9f1210
DougGregor
approved these changes
on 2022-01-25
Login to write a write a comment.
Login via GitHub