{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"discr.to_atomic_ordering()"}]}
            discr.to_atomic_ordering()
            let discr = ord.valtree.unwrap_branch()[0].unwrap_leaf();
        };