[tests] Add regression test for SR-15179

LucianoPAlmeida · LucianoPAlmeida · commit 6b0933a020bc · 2021-09-13T11:20:44.000-03:00
diff --git a/test/Constraints/function.swift b/test/Constraints/function.swift
@@ -263,3 +263,8 @@ func testInvalidTupleImplosions() {
   func takesInout(_ x: Int, _ y: inout String) {}
   tuplify(takesInout) // expected-error {{cannot convert value of type '(Int, inout String) -> ()' to expected argument type '(Int) -> Void'}}
 }
+
+// SR-15179 
+func SR15179<Ts>(_ fn: @escaping (Ts) -> Void) {}
+func fn(_ x: inout Int, _ y: inout Int) {}
+SR15179(fn) // expected-error{{cannot convert value of type '(inout Int, inout Int) -> ()' to expected argument type '(Int) -> Void'}}

Original file line number	Diff line number	Diff line change
`@@ -263,3 +263,8 @@ func testInvalidTupleImplosions() {`
`263`	`263`	`func takesInout(_ x: Int, _ y: inout String) {}`
`264`	`264`	`tuplify(takesInout) // expected-error {{cannot convert value of type '(Int, inout String) -> ()' to expected argument type '(Int) -> Void'}}`
`265`	`265`	`}`
	`266`	`+`
	`267`	`+// SR-15179`
	`268`	`+func SR15179<Ts>(_ fn: @escaping (Ts) -> Void) {}`
	`269`	`+func fn(_ x: inout Int, _ y: inout Int) {}`
	`270`	`+SR15179(fn) // expected-error{{cannot convert value of type '(inout Int, inout Int) -> ()' to expected argument type '(Int) -> Void'}}`