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