swift
Remove nested archetypes
#40794
Merged

Commits
  • Eliminate and simplify some uses of NestedArchetypeType.
    DougGregor committed 4 years ago
  • Remove ArchetypeType::getKnownNestedTypes().
    DougGregor committed 4 years ago
  • Sink the generic environment of an archetype down into ArchetypeType.
    DougGregor committed 4 years ago
  • Make the creation of generic environments for opaque archetype eager.
    DougGregor committed 4 years ago
  • Always store a generic environment in a nested archetype.
    DougGregor committed 4 years ago
  • Remove unnecessary uses of `ArchetypeType::getParent()`.
    DougGregor committed 4 years ago
  • Reimplement ArchetypeType::getParent() in terms of interface type + environment
    DougGregor committed 4 years ago
  • Moving nested archetype storage into the generic environment.
    DougGregor committed 4 years ago
  • Use the generic signature to find nested types by name.
    DougGregor committed 4 years ago
  • Remove unnecessary uses of `NestedArchetypeType`.
    DougGregor committed 4 years ago
  • RequirementMachine: New GenericSignature::isValidTypeInContext() query
    DougGregor committed 4 years ago
  • Adopt GenericSignature::isValidTypeInContext for nested archetypes
    DougGregor committed 4 years ago
  • Rework opaque archetype mangling to be representation agnostic.
    DougGregor committed 4 years ago
  • Make opaque type archetypes root- and nested-type agnostic
    DougGregor committed 4 years ago
  • Add ArchetypeType::isRoot() and use it instead of implicit "root" checks
    DougGregor committed 4 years ago
  • Generalize (Primary|Sequence)ArchetypeType to arbitrary interface types.
    DougGregor committed 4 years ago
  • Eliminate OpaqueTypeArchetypeType::getOrdinal(), which shouldn't be used
    DougGregor committed 4 years ago
  • Rework OpenedArchetypeType to generalize over interface types.
    DougGregor committed 4 years ago
  • Make GenericEnvironment::addMapping private.
    DougGregor committed 4 years ago
  • Check root archetypes in a few more places.
    DougGregor committed 4 years ago
  • Remove NestedArchetypeType.
    DougGregor committed 4 years ago
  • Fix opaque type archetype emission for nested archetypes
    DougGregor committed 4 years ago
Loading