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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
|
// RUN: %target-run-simple-swift | %FileCheck %s
// REQUIRES: executable_test
var x : Int! = .none
if x != nil {
print("x is non-empty!")
} else {
print("an empty optional is logically false")
}
// CHECK: an empty optional is logically false
x = .some(0)
if x != nil {
print("a non-empty optional is logically true")
} else {
print("x is empty!")
}
// CHECK: a non-empty optional is logically true
class C {}
var c : C! = C()
if c === nil {
print("x is nil!")
} else {
print("a non-empty class optional should not equal nil")
}
// CHECK: a non-empty class optional should not equal nil
c = nil
if c === nil {
print("an empty class optional should equal nil")
} else {
print("x is not nil!")
}
// CHECK: an empty class optional should equal nil
import StdlibUnittest
import Swift
var ImplicitlyUnwrappedOptionalTests = TestSuite("ImplicitlyUnwrappedOptional")
ImplicitlyUnwrappedOptionalTests.test("flatMap") {
// FIXME(19798684): can't call map or flatMap on ImplicitlyUnwrappedOptional
// let half: Int32 -> Int16! =
// { if $0 % 2 == 0 { return Int16($0 / 2) } else { return .none } }
// expectEqual(2 as Int16, half(4))
// expectNil(half(3))
// expectNil((.none as Int!).flatMap(half))
// expectEqual(2 as Int16, (4 as Int!).flatMap(half))
// expectNil((3 as Int!).flatMap(half))
}
infix operator *^* : ComparisonPrecedence
func *^*(lhs: Int?, rhs: Int?) -> Bool { return true }
func *^*(lhs: Int, rhs: Int) -> Bool { return true }
ImplicitlyUnwrappedOptionalTests.test("preferOptional") {
let i: Int! = nil
let j: Int = 1
if i != j {} // we should choose != for Optionals rather than forcing i
if i == j {} // we should choose == for Optionals rather than forcing i
// FIXME: https://github.com/apple/swift/issues/49536
// if i *^* j {} // we should choose *^* for Optionals rather than forcing i
}
runAllTests()
|
