{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"///"}]}
    /// The `DefId` where the attr was originally attached. `None` for non-local
    pub attr: Deprecation,
    /// `DefId`'s.