We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 08ef7ec commit 5d1327dCopy full SHA for 5d1327d
test/Constraints/opened_existentials.swift
@@ -565,29 +565,3 @@ do {
565
types.assertTypesAreEqual()
566
}
567
568
-
569
-struct G<A>: PP3 {}
570
571
-protocol PP1 {
572
- associatedtype A
573
-}
574
575
-extension PP1 {
576
- func f(p: any PP2<G<Self.A>>) {
577
- p.g(t: self)
578
- }
579
580
581
-protocol PP2<B> {
582
583
- associatedtype B: PP3 where Self.B.A == Self.A
584
585
586
-extension PP2 {
587
- func g<T: PP1>(t: T) where Self.B == G<T.A> {}
588
589
590
-protocol PP3 {
591
592
593
0 commit comments