{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"IntTy::I64"}]}
            IntTy::I64 => UintTy::U64,
            IntTy::I32 => UintTy::U32,
            IntTy::I128 => UintTy::U128,