swift
RequirementMachine: Implement GenericSignature::getCanonicalTypeInContext()
#38284

Merged

RequirementMachine: Implement GenericSignature::getCanonicalTypeInContext() #38284

slavapestov merged 12 commits into swiftlang:main from slavapestov:requirement-machine-canonical-types

slavapestov force pushed 5 years ago

AST: Don't canonicalize GenericFunctionTypes in TypeBase::getASTConte…

2d5b04e4

AST: Avoid computing canonical types in diagnostics

e83fd4a0

RequirementMachine: Completion step and depth limits also apply to eq…

56700983

RequirementMachine: Store the current generic signature

e8eab411

RequirementMachine: getTermForType() produces resolved associated typ…

c97d32a6

RequirementMachine: Fix assertion in mergeAssociatedTypes()

8ee58cd0

RequirementMachine: Verify simplified type terms in asserts builds

658e1f27

RequirementMachine: Add ProtocolGraph::isKnownProtocol()

c35aa938

RequirementMachine: Implement EquivalenceClass::getConcreteType()

2a1c1416

slavapestov force pushed 5 years ago

RequirementMachine: Implement RewriteContext::getTypeForTerm()

35daf17d

RequirementMachine: Handle equivalence classes that both have a concr…

f0d59d5d

RequirementMachine: Implement GenericSignature::getCanonicalTypeInCon…

9a0c87b1

slavapestov force pushed to 9a0c87b1 5 years ago

slavapestov marked this pull request as ready for review 5 years ago

slavapestov requested a review from

CodaFi 5 years ago

slavapestov requested a review from

DougGregor 5 years ago

slavapestov merged 22e24d31 into main 5 years ago

Reviewers

CodaFi

DougGregor

Assignees

No one assigned

Labels

None yet

Milestone

No milestone