1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
// RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk) -typecheck -verify %s
// REQUIRES: objc_interop
import blocks
import Foundation
var someNSString : NSString
func useString(_ s: String) {}
accepts_block { }
someNSString.enumerateLines {(s:String?) in }
someNSString.enumerateLines {s in }
someNSString.enumerateLines({ useString($0) })
accepts_block(/*not a block=*/()) // expected-error{{cannot convert value of type '()' to expected argument type 'my_block_t' (aka '() -> ()'}}
func testNoEscape(f: @convention(block) () -> Void, nsStr: NSString,
fStr: (String?) -> Void) {
accepts_noescape_block(f)
accepts_noescape_block(f)
// Please see related tests in PrintAsObjC/imported-block-typedefs.swift.
// rdar://problem/19818617
nsStr.enumerateLines(fStr) // okay due to @noescape
_ = nsStr.enumerateLines as Int // expected-error{{cannot convert value of type '((String) -> Void) -> Void' to type 'Int' in coercion}}
}
func checkTypeImpl<T>(_ a: inout T, _: T.Type) {}
do {
var blockOpt = blockWithoutNullability()
checkTypeImpl(&blockOpt, Optional<my_block_t>.self)
var _: my_block_t = blockWithoutNullability()
}
do {
var block = blockWithNonnull()
checkTypeImpl(&block, my_block_t.self)
}
do {
var blockOpt = blockWithNullUnspecified()
checkTypeImpl(&blockOpt, Optional<my_block_t>.self)
var _: my_block_t = blockWithNullUnspecified()
}
do {
var block = blockWithNullable()
checkTypeImpl(&block, Optional<my_block_t>.self)
}
|
