{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"ty::Int(int)"}]}
                    ty::Int(int) => int.normalize(target_width).bit_width().unwrap(),
                    ty::Uint(uint) => uint.normalize(target_width).bit_width().unwrap(),
                    ty::Char => 32,