{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"///"}]}
    /// If someone speeds up attribute loading to not be a performance concern, they can
    ///
    /// remove this hack and use the constructor `DefId` everywhere.