[swift-dev] [SE-0143] Dynamic casting for conditional conformances

Slava Pestov spestov at apple.com
Thu Dec 7 00:07:12 CST 2017

> On Dec 6, 2017, at 10:04 PM, Slava Pestov via swift-dev <swift-dev at swift.org> wrote:
>> In AST terms:
>>  func matchEnvironment(GenericSignature, Type, TypeMetadata) -> GenericEnvironment?
>>  func substitute(GenericEnvironment, Type) -> TypeMetadata?
> By GenericEnvironment do you really mean a substitution map?

Also note that the remote mirrors library already implements these operations in terms of TypeRefs, which are wrappers around mangled type strings. So there should be some potential for code reuse here.

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

More information about the swift-dev mailing list