{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"ty::Uint(uint)"}]}
                    ty::Uint(uint) => uint.normalize(target_width).bit_width().unwrap(),
                let size = Size::from_bits(match switch_ty.kind() {
                    ty::Int(int) => int.normalize(target_width).bit_width().unwrap(),