about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/sums.rs
blob: 3256d4c65116a94b14b21e1a7191fcaff9bcafdc (plain)
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
#[derive(Debug, PartialEq)]
enum Unit {
    Unit(()), // Force non-C-enum representation.
}

fn return_unit() -> Unit {
    Unit::Unit(())
}

#[derive(Debug, PartialEq)]
enum MyBool {
    False(()), // Force non-C-enum representation.
    True(()),
}

fn return_true() -> MyBool {
    MyBool::True(())
}

fn return_false() -> MyBool {
    MyBool::False(())
}

fn return_none() -> Option<i64> {
    None
}

fn return_some() -> Option<i64> {
    Some(42)
}

fn match_opt_none() -> i8 {
    let x = None;
    match x {
        Some(data) => data,
        None => 42,
    }
}

fn match_opt_some() -> i8 {
    let x = Some(13);
    match x {
        Some(data) => data,
        None => 20,
    }
}

fn two_nones() -> (Option<i16>, Option<i16>) {
    (None, None)
}

fn main() {
    assert_eq!(two_nones(), (None, None));
    assert_eq!(match_opt_some(), 13);
    assert_eq!(match_opt_none(), 42);
    assert_eq!(return_some(), Some(42));
    assert_eq!(return_none(), None);
    assert_eq!(return_false(), MyBool::False(()));
    assert_eq!(return_true(), MyBool::True(()));
    assert_eq!(return_unit(), Unit::Unit(()));
}