{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"IntTy::I64"}]}
            IntTy::I64 => rustc_ty::IntTy::I64,
            IntTy::I32 => rustc_ty::IntTy::I32,
            IntTy::I128 => rustc_ty::IntTy::I128,