mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
22 lines
285 B
Swift
22 lines
285 B
Swift
// RUN: %target-typecheck-verify-swift
|
|
|
|
protocol E {}
|
|
|
|
protocol P {
|
|
associatedtype V: E
|
|
}
|
|
|
|
protocol Q {
|
|
associatedtype G: P
|
|
}
|
|
|
|
protocol R {
|
|
associatedtype G
|
|
associatedtype M: Q where M.G == G
|
|
}
|
|
|
|
struct A<I: E>: P {
|
|
typealias V = I
|
|
func f<N: R>(_: N) where N.G == Self {}
|
|
}
|