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