1    do
2        let maybe_x : Option<i32> = Some 8
3    
4        let s = case maybe_x of
5            None -> "none"
6            Some x -> x.to_string
7    
8        assert s == "8"
9        assert maybe_x.is_some && not maybe_x.is_none
10