{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"(Some(CastTy::FnPtr),"}]}
        (Some(CastTy::FnPtr), Some(CastTy::Ptr(_))) => mir::CastKind::FnPtrToPtr,
        (Some(CastTy::Int(_)), Some(CastTy::Int(_))) => mir::CastKind::IntToInt,