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