{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// built-in trait), and we do not want to load attributes twice.
    /// If someone speeds up attribute loading to not be a performance concern, they can