swift
RequirementMachine: Protocol requirement signature minimization fixes
#40465
Merged
Merged
RequirementMachine: Protocol requirement signature minimization fixes #40465
slavapestov
merged
13 commits into
swiftlang:main
from
slavapestov:rqm-protocol-minimization-fixes
RequirementMachine: Don't assert if a rewrite system has unresolved r…
34cbfd23
RequirementMachine: Don't call getExistentialLayout() from desugarCon…
0e2fd5ad
RequirementMachine: Don't bother normalizing loops
1bf6102f
RequirementMachine: Delete loops that don't have rules in empty context
47f3341b
RequirementMachine: Another cycle-breaking hack for associated type i…
044611dd
RequirementMachine: Fix various RewriteSteps to work when re-contextu…
2f2249ce
RequirementMachine: Better assertions for generating conformances
0686cd5a
RequirementMachine: Generating conformances can reason about concrete…
86c15ad5
RequirementMachine: Move generating conformances algorithm into its o…
96bdef9f
RequirementMachine: Only check conformance requirements with -require…
ffd675d6
RequirementMachine: Try to minimize away concrete conformances first
b999cea0
GSB: Don't bail out early if some requirements didn't resolve
494e13c4
GSB: Force PotentialArchetypes for associated types with no requirements
8a088725
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub