{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"rustc_middle::ty::IntTy::I64"}]}
                rustc_middle::ty::IntTy::I64 => 64,
                rustc_middle::ty::IntTy::I32 => 32,
                rustc_middle::ty::IntTy::I128 => 128,