{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"///"}]}
    /// a diagnostic was built but not used.
    /// `None`. Then `drop` checks that it is `None`; if not, it panics because
    ///