{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"///"}]}
    /// Transmuting pointers to integers in a `const` context is undefined behavior.
    ///
    /// Any attempt to use the resulting integer will abort const-evaluation.