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

[Slava Pestov]

> 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.

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