Merge pull request #78580 from AnthonyLatsis/test-69390-6.1

AnthonyLatsis · web-flow · commit bdaf5905016b · 2025-01-11T22:00:10.000Z
[6.1] Add regression test for #69390
diff --git a/test/Constraints/variadic_generic_types.swift b/test/Constraints/variadic_generic_types.swift
@@ -68,13 +68,19 @@ do {
 }
 
 // https://github.com/apple/swift/issues/68160
+// https://github.com/apple/swift/issues/69390
 do {
   struct G<each T, U> {
     let f: (repeat Optional<each T>) -> U
+    var f2: (repeat each T) -> Void
 
     init(f: @escaping (repeat Optional<each T>) -> U) {
       self.f = f
     }
+
+    func foo() {
+      let _: (repeat each T) -> Void = f2
+    }
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -68,13 +68,19 @@ do {`
`68`	`68`	`}`
`69`	`69`
`70`	`70`	`// https://github.com/apple/swift/issues/68160`
	`71`	`+// https://github.com/apple/swift/issues/69390`
`71`	`72`	`do {`
`72`	`73`	`struct G<each T, U> {`
`73`	`74`	`let f: (repeat Optional<each T>) -> U`
	`75`	`+ var f2: (repeat each T) -> Void`
`74`	`76`
`75`	`77`	`init(f: @escaping (repeat Optional<each T>) -> U) {`
`76`	`78`	`self.f = f`
`77`	`79`	`}`
	`80`	`+`
	`81`	`+ func foo() {`
	`82`	`+ let _: (repeat each T) -> Void = f2`
	`83`	`+ }`
`78`	`84`	`}`
`79`	`85`	`}`
`80`	`86`