| // 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() |