swift
RequirementMachine: Implement InferredGenericSignatureRequest
#40268

Merged

Commits

RequirementMachine: Introduce TypeAliasRequirementsRequest

slavapestov committed 3 years ago
RequirementMachine: Make some entry points in RequirementLowering.cpp public

slavapestov committed 3 years ago
RequirementMachine: Clean up the RequirementMachine::initWith*() methods a bit

slavapestov committed 3 years ago
RequirementMachine: Add RequirementMachine::initWithWrittenRequirements()

slavapestov committed 3 years ago
RequirementMachine: Implement InferredGenericSignatureRequest

slavapestov committed 3 years ago
RequirementMachine: Split up -requirement-machine-generic-signatures flag into -requirement-machine-{abstract,inferred}-signatures

slavapestov committed 3 years ago
RequirementMachine: Wire up -requirement-machine-inferred-signatures flag

slavapestov committed 3 years ago
RequirementMachine: Plumb through the ModuleDecl used for requirement inference

slavapestov committed 3 years ago
RequirementMachine: Implement requirement inference

slavapestov committed 3 years ago