{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"ty::Int(_)"}]}
            ty::Int(_) => Some(CastTy::Int(IntTy::I)),
            ty::Char => Some(CastTy::Int(IntTy::Char)),
            ty::Infer(ty::InferTy::IntVar(_)) => Some(CastTy::Int(IntTy::I)),