Mangling for shape requirements, and related fixes #62016
slavapestov
merged
10 commits into
swiftlang:main
from
slavapestov:shape-requirements-misc
AST: Move getReducedShape() from CSSimplify.cpp to a method on TypeBase
30a1211a
AST: Implement Requirement::isSatisfied() for SameShape requirements
532d0977
Mangler: Add support for same-shape requirements
987552d5
Serialization: Support PackType and PackExpansionType
1e00c310
AST: Split off Requirement.cpp from GenericSignature.cpp
70dec2b9
Add minimal SILGen and Serialization tests for variadic generics
07aae0cb
AST: Fix TypeBase::getTypeParameterPacks() to not walk into nested Pa…
5ee71250
Sema: Ensure that generic parameters appearing in pack expansion patt…
8caeaa2f
Sema: Use getLocalProtocols() instead of getAllProtocols() in move-on…
0f66cb69
ASTPrinter: Print shape requirements in a way that parses
07b0c5c9
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub