about summary refs log tree commit diff
path: root/tests/ui/binding/expr-match.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/binding/expr-match.rs')
-rw-r--r--tests/ui/binding/expr-match.rs45
1 files changed, 45 insertions, 0 deletions
diff --git a/tests/ui/binding/expr-match.rs b/tests/ui/binding/expr-match.rs
new file mode 100644
index 00000000000..575b38fbc95
--- /dev/null
+++ b/tests/ui/binding/expr-match.rs
@@ -0,0 +1,45 @@
+// run-pass
+
+
+
+
+// Tests for using match as an expression
+
+fn test_basic() {
+    let mut rs: bool = match true { true => { true } false => { false } };
+    assert!((rs));
+    rs = match false { true => { false } false => { true } };
+    assert!((rs));
+}
+
+fn test_inferrence() {
+    let rs = match true { true => { true } false => { false } };
+    assert!((rs));
+}
+
+fn test_alt_as_alt_head() {
+    // Yeah, this is kind of confusing ...
+
+    let rs =
+        match match false { true => { true } false => { false } } {
+          true => { false }
+          false => { true }
+        };
+    assert!((rs));
+}
+
+fn test_alt_as_block_result() {
+    let rs =
+        match false {
+          true => { false }
+          false => { match true { true => { true } false => { false } } }
+        };
+    assert!((rs));
+}
+
+pub fn main() {
+    test_basic();
+    test_inferrence();
+    test_alt_as_alt_head();
+    test_alt_as_block_result();
+}