{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":".map_or(index.as_u32()"}]}
                    .map_or(index.as_u32() as u128, |discr| discr.val),
                ty.discriminant_for_variant(tcx, *index)
            );