{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"ty::Int(int_ty)"}]}
            ty::Int(int_ty) => TyKind::RigidTy(RigidTy::Int(int_ty.stable(tables, cx))),
            ty::Char => TyKind::RigidTy(RigidTy::Char),
            ty::Uint(uint_ty) => TyKind::RigidTy(RigidTy::Uint(uint_ty.stable(tables, cx))),