{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"(CastTy::Int(Int::U(UintTy::U8)),"}]}
            (CastTy::Int(Int::U(UintTy::U8)), CastTy::Int(Int::Char)) => Ok(()),
            (_, CastTy::Int(Int::Bool)) => Err(CastError::CastToBool),
            (_, CastTy::Int(Int::Char)) => Err(CastError::CastToChar),