{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"///"}]}
    /// The exact contents of this set are *not* a stable guarantee. (For instance, it is currently
    ///
    /// computed after drop-elaboration. If we ever do some optimizations even in debug builds, we