{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"///"}]}
/// a context where *the thread is currently panicking*, so it must not panic or the process will
/// `bug_report_url`, or report arbitrary info in `extra_info`. Note that `extra_info` is called in
/// abort.