Commits
Slava Pestov committed fef525750b0
Sema: Ensure archetypes don't leak through when a local generic function uses a typealias defined in function scope
When resolving a typealias, we need to feed it through the resolver
even if it is not defined in type context. For example,
func outer<T>(t: T) {
typealias TT = T
// We want 'TT' to resolve to the interface type and not the
// archetype while we are building inner()'s generic signature
func inner<U>(t: TT, u: U) {}
}