[TypeChecker] NFC: Add a test-case for rdar://problem/30906031

xedin · xedin · commit 6eb94ce1cced · 2018-11-11T00:06:42.000-08:00
This problem has been fixed by @autoclosure rework.
diff --git a/test/attr/attr_autoclosure.swift b/test/attr/attr_autoclosure.swift
@@ -203,3 +203,10 @@ func rdar_20591571() {
     withoutActuallyEscaping(fn) { (_: () -> Int) in } // Ok
   }
 }
+
+// rdar://problem/30906031 - [SR-4188]: withoutActuallyEscaping doesn't accept an @autoclosure argument
+func rdar_30906031(in arr: [Int], fn: @autoclosure () -> Int) -> Bool {
+  return withoutActuallyEscaping(fn) { escapableF in // Ok
+    arr.lazy.filter { $0 >= escapableF() }.isEmpty
+  }
+}

Original file line number	Diff line number	Diff line change
`@@ -203,3 +203,10 @@ func rdar_20591571() {`
`203`	`203`	`withoutActuallyEscaping(fn) { (_: () -> Int) in } // Ok`
`204`	`204`	`}`
`205`	`205`	`}`
	`206`	`+`
	`207`	`+// rdar://problem/30906031 - [SR-4188]: withoutActuallyEscaping doesn't accept an @autoclosure argument`
	`208`	`+func rdar_30906031(in arr: [Int], fn: @autoclosure () -> Int) -> Bool {`
	`209`	`+ return withoutActuallyEscaping(fn) { escapableF in // Ok`
	`210`	`+ arr.lazy.filter { $0 >= escapableF() }.isEmpty`
	`211`	`+ }`
	`212`	`+}`