Add more test cases

Author: coord-e

tests/ui/fail/option_inc.rs

@@ -0,0 +1,17 @@
+//@error-in-other-file: Unsat
+//@compile-flags: -C debug-assertions=off
+
+fn maybe_inc(x: i32, do_it: bool) -> Option<i32> {
+    if do_it {
+        Some(x + 1)
+    } else {
+        None
+    }
+}
+
+fn main() {
+    let res = maybe_inc(10, true);
+    if let Some(v) = res {
+        assert!(v == 12);
+    }
+}

tests/ui/fail/option_loop.rs

@@ -0,0 +1,14 @@
+//@error-in-other-file: Unsat
+//@compile-flags: -C debug-assertions=off
+
+fn main() {
+    let mut opt = Some(5);
+    while let Some(x) = opt {
+        if x > 0 {
+            opt = Some(x - 1);
+        } else {
+            opt = None;
+        }
+    }
+    assert!(false);
+}

tests/ui/fail/result_mut.rs

@@ -0,0 +1,18 @@
+//@error-in-other-file: Unsat
+//@compile-flags: -C debug-assertions=off
+
+fn mutate_res(r: &mut Result<i32, i32>) {
+    match r {
+        Ok(v) => *v += 1,
+        Err(e) => *e -= 1,
+    }
+}
+
+fn main() {
+    let mut r = Ok(10);
+    mutate_res(&mut r);
+    match r {
+        Ok(v) => assert!(v == 10),
+        Err(_) => unreachable!(),
+    }
+}

tests/ui/fail/result_struct.rs

@@ -0,0 +1,22 @@
+//@error-in-other-file: Unsat
+//@compile-flags: -C debug-assertions=off
+
+struct Point {
+    x: i32,
+    y: i32,
+}
+
+fn make_point(x: i32, y: i32) -> Result<Point, ()> {
+    if x >= 0 && y >= 0 {
+        Ok(Point { x, y })
+    } else {
+        Err(())
+    }
+}
+
+fn main() {
+    let p = make_point(1, 2);
+    if let Ok(pt) = p {
+        assert!(pt.x > 1);
+    }
+}

tests/ui/pass/option_inc.rs

@@ -0,0 +1,17 @@
+//@check-pass
+//@compile-flags: -C debug-assertions=off
+
+fn maybe_inc(x: i32, do_it: bool) -> Option<i32> {
+    if do_it {
+        Some(x + 1)
+    } else {
+        None
+    }
+}
+
+fn main() {
+    let res = maybe_inc(10, true);
+    if let Some(v) = res {
+        assert!(v == 11);
+    }
+}

tests/ui/pass/option_loop.rs

@@ -0,0 +1,14 @@
+//@check-pass
+//@compile-flags: -C debug-assertions=off
+
+fn main() {
+    let mut opt = Some(5);
+    while let Some(x) = opt {
+        if x > 0 {
+            opt = Some(x - 1);
+        } else {
+            opt = None;
+        }
+    }
+    assert!(matches!(opt, None));
+}

tests/ui/pass/result_mut.rs

@@ -0,0 +1,18 @@
+//@check-pass
+//@compile-flags: -C debug-assertions=off
+
+fn mutate_res(r: &mut Result<i32, i32>) {
+    match r {
+        Ok(v) => *v += 1,
+        Err(e) => *e -= 1,
+    }
+}
+
+fn main() {
+    let mut r = Ok(10);
+    mutate_res(&mut r);
+    match r {
+        Ok(v) => assert!(v == 11),
+        Err(_) => unreachable!(),
+    }
+}

tests/ui/pass/result_struct.rs

@@ -0,0 +1,23 @@
+//@check-pass
+//@compile-flags: -C debug-assertions=off
+
+struct Point {
+    x: i32,
+    y: i32,
+}
+
+fn make_point(x: i32, y: i32) -> Result<Point, ()> {
+    if x >= 0 && y >= 0 {
+        Ok(Point { x, y })
+    } else {
+        Err(())
+    }
+}
+
+fn main() {
+    let p = make_point(1, 2);
+    if let Ok(pt) = p {
+        assert!(pt.x >= 0);
+        assert!(pt.y >= 0);
+    }
+}