{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// kind's `may_leak()` returns true.
    /// This is highly destructive, no more execution can happen after this!