{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"discriminant_value(&Some(2i32))"}]}
            discriminant_value(&Some(2i32)) == discriminant_value(&Some(5i32))
        const GOAL: bool = {
                && discriminant_value(&Some(2i32)) != discriminant_value(&None::<i32>)