Cherry-pick RequirementMachine fixes to 5.7 branch #42203
slavapestov
merged
7 commits into
swiftlang:release/5.7
from
slavapestov:rqm-fixes-5.7
RequirementMachine: Try harder to ensure completion only introduces p…
f8838c08
RequirementMachine: Tighten verifyRewriteRules() further
52939f2f
RequirementMachine: Move a bit of code in computeCompletion() for cla…
dd9bc80e
Sema: Diagnose missing entries in protocol inheritance clause when re…
c43443f2
RequirementMachine: Generalize hack that allows associated type inher…
7f460d6b
RequirementMachine: Don't diagnose trivial circularity 'protocol P : …
223944b5
RequirementMachine: Diagnose redundant concrete conformance requirements
9a6a9a1d
DougGregor
approved these changes
on 2022-04-06
Login to write a write a comment.
Login via GitHub