{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"CastError::UnknownExprPtrKind"}]}
                    CastError::UnknownExprPtrKind => false,
                    CastError::UnknownCastPtrKind => true,
                    e => unreachable!("control flow means we should never encounter a {e:?}"),