cairo-native 0.9.0-rc.3

A compiler to convert Cairo's IR Sierra code to MLIR and execute it.
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

#[test]
fn test_match_multienum_binding() {
    if true {
        match @@Some(@Some(@2)) {
            Some(Some(x)) => {
                assert_eq!(x, @@@@2);
                return;
            },
            _ => panic!("Expected Some(Some(2)), but got a different pattern"),
        }
    }
    panic!("Match expression did not return - this should be unreachable");
}

#[test]
fn test_match_extern_multilevel() {
    if true {
        let x: Option<Option<Option<felt252>>> = Some(Some(None));
        let b = BoxTrait::new(x);
        match b.unbox() {
            Some(Some(None)) => { return; },
            _ => panic!("Expected Some(Some(None)), but got a different pattern"),
        }
    }
    panic!("Match expression did not return - this should be unreachable");
}