{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// Do *not* use for unwinding! Use `unwind_to_block` instead.
    /// If `target` is `None`, that indicates the function cannot return, so we raise UB.