> On Dec 6, 2017, at 10:04 PM, Slava Pestov via swift-dev <swift-dev@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
_______________________________________________ swift-dev mailing list swift-dev@swift.org https://lists.swift.org/mailman/listinfo/swift-dev
