swift
RequirementMachine: More debug output from 'propagateRedundantRequirementIDs()' and some other small tweaks
#42165

Merged

Commits

RequirementMachine: Make RewritePath::getRulesInEmptyContext() const

slavapestov committed 3 years ago
RequirementMachine: Rename RewritePath::getRulesInEmptyContext() to findRulesAppearingOnceInEmptyContext()

slavapestov committed 3 years ago
RequirementMachine: RewriteSystem::dump() prints out written requirements

slavapestov committed 3 years ago
RequirementMachine: More debug output from RewritePath::RewriteSystem::propagateRedundantRequirementIDs()

slavapestov committed 3 years ago
RequirementMachine: Add a comment explaining a recent change to concrete contraction

slavapestov committed 3 years ago