Skip to content

Commit ea99204

Browse files
Merge pull request #79246 from AnthonyLatsis/sepia-apama
test: Add regression test for rdar://91922018
2 parents 4f5b614 + 07a6612 commit ea99204

File tree

1 file changed

+13
-0
lines changed

1 file changed

+13
-0
lines changed

test/Constraints/opened_existentials.swift

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -552,3 +552,16 @@ do {
552552
}
553553
}
554554
}
555+
556+
// rdar://91922018
557+
do {
558+
func f<E>(_ c: some Collection<E>) -> some Collection<E> {
559+
return c
560+
}
561+
let c: any Collection<Int>
562+
let result = f(c)
563+
do {
564+
var types = SwiftTypePair(typeOf: result, type2: SwiftType<any Collection<Int>>.self)
565+
types.assertTypesAreEqual()
566+
}
567+
}

0 commit comments

Comments
 (0)