mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
ae73cd4637
We don't expect to see type parameters that are not generic parameters here, but dependent member types that wrap an ErrorType are fine, they show up when a conformance had an invalid type witness. Fixes the remaining example from https://github.com/apple/swift/issues/59384.
17 lines
256 B
Swift
17 lines
256 B
Swift
// RUN: not %target-swift-frontend -emit-ir %s
|
|
|
|
protocol P1 {}
|
|
protocol Q1 {
|
|
associatedtype A
|
|
associatedtype B
|
|
}
|
|
|
|
protocol Q2: Q1 where B == S<Self>, B.C == Self {}
|
|
|
|
protocol P2: P1 {
|
|
associatedtype C: Q2 where C.A == Void
|
|
}
|
|
|
|
struct S<C: Q2>: P2 {
|
|
}
|