PR #39820 RequirementMachine: Small cleanups

RequirementMachine: Small cleanups #39820

slavapestov merged 4 commits into swiftlang:main from slavapestov:rqm-small-cleanups

AST: Don't trigger generic signature computation in ASTDumper

1429dbe9

RequirementMachine: Record loops from trivially-resolved critical pairs

cc833d98

RequirementMachine: Fix small typos

5ea7a06a

RequirementMachine: Split off PropertyUnification.cpp from PropertyMa…

d00ad536

slavapestov force pushed to d00ad536 4 years ago

slavapestov merged 1ab88ed0 into main 4 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone