mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
31 lines
364 B
Swift
31 lines
364 B
Swift
// RUN: not %target-swift-frontend %s -typecheck
|
|
|
|
// https://github.com/apple/swift/issues/49016
|
|
|
|
protocol DC {
|
|
init()
|
|
}
|
|
|
|
protocol P {
|
|
associatedtype A: DC
|
|
|
|
func f() -> A
|
|
}
|
|
|
|
protocol Q: P {
|
|
associatedtype A
|
|
}
|
|
|
|
extension Q {
|
|
func f() -> A { return A() }
|
|
}
|
|
|
|
struct X<T> { }
|
|
|
|
extension X: P where T: P {
|
|
typealias A = T.A
|
|
}
|
|
|
|
extension X: Q where T: Q {
|
|
}
|