
<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">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.</div><div class=""><br class=""></div><div class="">See:</div><div class=""><br class=""></div><div class=""><a href="https://github.com/lhoward/swift/blob/SR-381/include/swift/Runtime/Metadata.h#L1199" class="">https://github.com/lhoward/swift/blob/SR-381/include/swift/Runtime/Metadata.h#L1199</a></div><div class=""><br class=""></div><div class=""><a href="https://github.com/lhoward/swift/blob/SR-381/stdlib/public/runtime/MetadataLookup.cpp#L338" class="">https://github.com/lhoward/swift/blob/SR-381/stdlib/public/runtime/MetadataLookup.cpp#L338</a></div><div class=""><br class=""></div><div class="">— Luke</div></body></html>