Artem Chikin 3f0c0f0553 [Compile Time Constant Extraction] Add extraction of all conformances and type aliases of applicable nominal types ...

This change adds to the extracted type metadata the following fields:
- Conformances: this is a list of all protocols that the given nominal type conforms to
- associated type aliases: this is a list of all associated types across all conformances that the given nominal type substitutes with concrete types. For a given associated type, we gather:
  - Associated type name
  - Substituted type's fully-qualified name
  - Substituted type's mangled name
  - If the substituted type is opaque:
    - List of conformance requirements of this opaque type
    - List of same-type requirements of this opaque type

2023-06-22 07:13:24 -07:00

..

CMakeLists.txt

…

ConstExtract.cpp

[Compile Time Constant Extraction] Add extraction of all conformances and type aliases of applicable nominal types

2023-06-22 07:13:24 -07:00