{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"(Some(CastTy::Ptr(_)),"}]}
        (Some(CastTy::Ptr(_)), Some(CastTy::Ptr(_))) => mir::CastKind::PtrToPtr,
        (Some(CastTy::Float), Some(CastTy::Float)) => mir::CastKind::FloatToFloat,