mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
17 lines
533 B
Swift
17 lines
533 B
Swift
// {"kind":"typecheck","original":"2fdf1565","signature":"(anonymous namespace)::TypeSubstituter::transformDependentMemberType(swift::DependentMemberType*, swift::TypePosition)","stackOverflow":true}
|
|
// RUN: not %target-swift-frontend -typecheck %s
|
|
protocol a {
|
|
typealias b = c
|
|
associatedtype d: b
|
|
associatedtype J: Sequence = e<Self> where J.Element == d.f
|
|
}
|
|
protocol c {
|
|
associatedtype f
|
|
}
|
|
struct g<h>: a {
|
|
struct d
|
|
}
|
|
struct e<i: a>: Sequence {
|
|
struct Iterator: IteratorProtocol {
|
|
typealias Element = i.d.f
|