// RUN: %target-swift-frontend -emit-ir %s | |
public func foo<T : P & Q>(_: T, _: S<T>.A) {} | |
public protocol P { | |
associatedtype A | |
func foo() -> A | |
} | |
public protocol Q { | |
associatedtype A | |
func bar() -> A | |
} | |
public struct S<T> {} | |
extension S : P where T : P { | |
public func foo() -> Int { | |
return 0 | |
} | |
} | |
extension S : Q where T : Q { | |
public func bar() -> Int { | |
return 0 | |
} | |
} |