Remove nested archetypes #40794
DougGregor
merged
22 commits into
swiftlang:main
from
DougGregor:remove-nested-archetypes
Eliminate and simplify some uses of NestedArchetypeType.
2a90cd1b
Remove ArchetypeType::getKnownNestedTypes().
c5c13475
Sink the generic environment of an archetype down into ArchetypeType.
183cf587
Make the creation of generic environments for opaque archetype eager.
1a563d4b
Always store a generic environment in a nested archetype.
c8b71819
Remove unnecessary uses of `ArchetypeType::getParent()`.
9b4d8041
Reimplement ArchetypeType::getParent() in terms of interface type + e…
2974f548
Moving nested archetype storage into the generic environment.
590331d5
Use the generic signature to find nested types by name.
3b8e9df0
Remove unnecessary uses of `NestedArchetypeType`.
8df65e70
RequirementMachine: New GenericSignature::isValidTypeInContext() query
0ffd11c5
Adopt GenericSignature::isValidTypeInContext for nested archetypes
2dbaab98
Rework opaque archetype mangling to be representation agnostic.
8595ebfa
Make opaque type archetypes root- and nested-type agnostic
6ae6ab90
Add ArchetypeType::isRoot() and use it instead of implicit "root" checks
50fd5b5b
Generalize (Primary|Sequence)ArchetypeType to arbitrary interface types.
ac4d26d7
Eliminate OpaqueTypeArchetypeType::getOrdinal(), which shouldn't be used
b30c5b83
Rework OpenedArchetypeType to generalize over interface types.
34506bf3
Make GenericEnvironment::addMapping private.
ca2c44d9
Check root archetypes in a few more places.
96fdbe18
Remove NestedArchetypeType.
452eccab
Fix opaque type archetype emission for nested archetypes
b1d53022
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub