{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"///"}]}
    /// in `#[no_implicit_prelude]` modules, so we have to keep this flag.
    /// Built-in macros have a couple of special properties like availability
    pub builtin_name: Option<Symbol>,