{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"Some(x)"}]}
                                Some(x) if x != 0 => {}        // okay
                                // for the zero test, int vs uint does not matter
                                _ => return Err(Unpromotable), // value not known or 0 -- not okay