{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"(Some(_),"}]}
                    (Some(_), None) => Err(CastError::DifferingKinds { src_kind, dst_kind }),
                    // a kind of principal.