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
|
// RUN: %target-run-simple-swift
// REQUIRES: executable_test
import StdlibUnittest
func boo(_: LifetimeTracked) -> Bool { return true }
var tests = TestSuite("switches with where clauses")
enum Foo {
case a(LifetimeTracked)
case b(LifetimeTracked)
}
func foo(_ x: Foo, _ y: Foo, _ condition: (LifetimeTracked) -> Bool) -> Bool {
switch (x, y) {
case (.a(let xml), _),
(_, .a(let xml)) where condition(xml):
return true
default:
return false
}
}
tests.test("all paths through a switch with guard") {
_ = foo(.a(LifetimeTracked(0)), .a(LifetimeTracked(1)), { _ in true })
_ = foo(.a(LifetimeTracked(2)), .b(LifetimeTracked(3)), { _ in true })
_ = foo(.b(LifetimeTracked(4)), .a(LifetimeTracked(5)), { _ in true })
_ = foo(.b(LifetimeTracked(6)), .b(LifetimeTracked(7)), { _ in true })
_ = foo(.a(LifetimeTracked(10)), .a(LifetimeTracked(11)), { _ in false })
_ = foo(.a(LifetimeTracked(12)), .b(LifetimeTracked(13)), { _ in false })
_ = foo(.b(LifetimeTracked(14)), .a(LifetimeTracked(15)), { _ in false })
_ = foo(.b(LifetimeTracked(16)), .b(LifetimeTracked(17)), { _ in false })
}
runAllTests()
|
