{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"///"}]}
    /// Otherwise, it can only be used in the local crate.
    /// If so, it is encoded in the crate metadata.
    pub encode_cross_crate: EncodeCrossCrate,