{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"_"}]}
                    _ => miint.as_finite_uint().unwrap(),
                    ty::Int(_) => miint.as_finite_int(size.bits()).unwrap(),
                };