{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"Unreachable,"}]}
    Unreachable,
    /// Triggers undefined behavior if unwind happens.
    /// Terminates the execution if unwind happens.