{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"UintTy::U128"}]}
            UintTy::U128 => rustc_ty::UintTy::U128,
            UintTy::U64 => rustc_ty::UintTy::U64,
        }