[swift-dev] Generalizing nominal type descriptors into "context descriptors"; encoding generic requirements

[John McCall]

> On Nov 14, 2017, at 2:36 PM, Joe Groff via swift-dev <swift-dev at swift.org> wrote:
> The type metadata that gets emitted for struct, enum, and class types includes a reference to a nominal type descriptor. The descriptor carries information that pertains to the nominal type declaration itself, independent of specific instantiations of generic types, as well as information that’s of a more “reflective” nature which isn’t on the fast path for compiler-generated code but may be of interest to reflection APIs or one-time initialization actions. The current nominal type descriptor format is lacking in a number of ways that I’d like to improve:
> 
Great write-up.  Your plan sounds spot-on to me.

John.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-dev/attachments/20171116/1c3e63eb/attachment.html>