{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"//"}]}
                    // a kind of principal.
                    // the principal of the pointee type, where "no principal" is also considered
                    (Some(_), None) => Err(CastError::DifferingKinds { src_kind, dst_kind }),