{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"u.normalize(bx.tcx().sess.target.pointer_width).bit_width().unwrap(),"}]}
                u.normalize(bx.tcx().sess.target.pointer_width).bit_width().unwrap(),
                Style::Int(Unsigned),
            ),