Files
swift-mirror/validation-test/compiler_crashers_2_fixed/0153-rdar39130543.swift
Doug Gregor 92d622ab41 [Type checker] Eliminate TypeResolverContext::GenericSignature.
The name-lookup behavior that avoids looking for members of a nominal type
or extension therefore when resolving the inheritance clause is now
handled by UnqualifiedLookup, so remove it from the type checker itself.

Fixes rdar://problem/39130543.
2018-08-14 23:17:57 -07:00

23 lines
285 B
Swift

// RUN: %target-swift-frontend %s -emit-ir
protocol P20 { }
protocol P21b {
associatedtype T
func foo(_: (T?) -> Void)
}
protocol P21a {
associatedtype T
func bar(_: ([T]) -> Void)
}
extension P21b where Self: P21a, T: P20 {
func foo(_: (T?) -> Void) {
bar { _ in }
}
}