PR #75947 Type::subst() rework, part 2

Type::subst() rework, part 2 #75947

slavapestov merged 13 commits into swiftlang:main from slavapestov:type-subst-rework-2

slavapestov force pushed 2 years ago

AST: Replace one-off predicates with SubstitutionMap::getRecursivePro…

ae77d6f0

AST: Use TypeTransform::transformSubMap() to transform TypeAliasType

074684fe

AST: Use TypeTransform::transformSubMap() to transform SILBoxType

bbea8ec1

AST: Use TypeTransform::transformSubMap() to transform SILFunctionType

575597da

AST: Use TypeTransform::transformPackExpansion() to transform PackExp…

3d64f8d1

AST: Use TypeTransform::transformPackElement() to transform PackEleme…

a4712d72

AST: Use TypeTransform::transformDependentMember() to transform Depen…

d7ac12a5

AST: Use TypeTransform::transformGenericTypeParam() to transform Gene…

68dca61d

AST: Introduce SubstFlags::SubstituteLocalArchetypes

39b4bda1

SIL: Use MapLocalArchetypesOutOfContext directly from buildSILFunctio…

b4265020

SIL: Fix SILVerifier for local archetype substitution change

271be174

SILGen: Simplify mapTypeOutOfOpenedExistentialContext()

b23a3407

AST: Remove TypeBase::getRootOpenedExistentials()

8e256d90

slavapestov force pushed to 8e256d90 2 years ago

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