ion-lang/tests/test_array_option_none.ion at main · Cod-e-Codes/ion-lang · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
// Array elements infer Option::None from the adjacent [Option<int>; N] type.
enum Option<T> {
    Some(T);
    None;
}

fn main() -> int {
    let a: [Option<int>; 1] = [Option::None];
    match a[0] {
        Option::Some(_) => {
            return 1;
        }
        Option::None => {
            return 2;
        }
    }
}