[swift-dev] Emitting redundant protocol conformances to support type lookup

Luke Howard lukeh at padl.com
Wed Jan 13 01:18:14 CST 2016

NB – presently the Protocols list is at the very end of GenericParameterDescriptor but it’s cleaner (if ABI disruptive) to put nest it inside Parameter.

> On 13 Jan 2016, at 2:46 PM, Luke Howard via swift-dev <swift-dev at swift.org> wrote:
> Would it be possible to extend GenericParameterDescriptor to include a tail-emplaced set of references to ProtocolDescriptors for any parameter type constraints that require witness tables? This would be useful plumbing for a future API that can dynamically instantiate generic types.
> See:
> https://github.com/lhoward/swift/blob/SR-381/include/swift/Runtime/Metadata.h#L1199 <https://github.com/lhoward/swift/blob/SR-381/include/swift/Runtime/Metadata.h#L1199>
> https://github.com/lhoward/swift/blob/SR-381/stdlib/public/runtime/MetadataLookup.cpp#L338 <https://github.com/lhoward/swift/blob/SR-381/stdlib/public/runtime/MetadataLookup.cpp#L338>
> — Luke
> _______________________________________________
> swift-dev mailing list
> swift-dev at swift.org
> https://lists.swift.org/mailman/listinfo/swift-dev


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-dev/attachments/20160113/ae01a205/attachment.html>

More information about the swift-dev mailing list