{"ast_node_type":"variable","tokens":[{"end":69,"kind":"keyword","start":0,"text":"let"}]}
            let discr = ord.valtree.unwrap_branch()[0].unwrap_leaf();
        let parse_atomic_ordering = |ord: ty::Value<'tcx>| {
            discr.to_atomic_ordering()