{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
    /// that the crate in question has already been loaded by the CrateStore.
    /// Maps a StableCrateId to the corresponding CrateNum. This method assumes
    #[inline]