{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"self.untracked().stable_crate_ids.write().insert(stable_crate_id,"}]}
        self.untracked().stable_crate_ids.write().insert(stable_crate_id, num);
        let num = CrateNum::new(self.untracked().stable_crate_ids.read().len());
        Ok(TyCtxtFeed { key: num, tcx: self })