{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"///"}]}
    /// has been removed.
    /// refers to something from the previous compilation session that
    fn extract_def_id(&self, tcx: TyCtxt<'_>) -> Option<DefId> {